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]
@inproceedings{BaaderKMTZ22-0,
title = {Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)},
author = {Franz Baader and Patrick Koopmann and Friedrich Michel and Anni-Yasmin Turhan and Benjamin Zarrieß},
year = {2022},
url = {http://ceur-ws.org/Vol-3263/abstract-1.pdf},
researchr = {https://researchr.org/publication/BaaderKMTZ22-0},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie-Laure Mugnier},
volume = {3263},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}