Friedrich Michel, Anni-Yasmin Turhan, Benjamin Zarrieß. Efficient TBox Reasoning with Value Restrictions - Introducing the ℱ}_o \textitwer Reasoner. In Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman, editors, Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Volume 11784 of Lecture Notes in Computer Science, pages 128-143, Springer, 2019. [doi]
Abstract is missing.