Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Franz Baader, Patrick Koopmann, Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, editors, Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022. Volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, 2022. [doi]

This author has not been identified. Look up 'Franz Baader' in GoogleThis author has not been identified. Look up 'Patrick Koopmann' in GoogleThis author has not been identified. Look up 'Friedrich Michel' in GoogleThis author has not been identified. Look up 'Anni-Yasmin Turhan' in GoogleThis author has not been identified. Look up 'Benjamin Zarrieß' in Google

runs on WebDSL