Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez 0001, Alexej Popovic. On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. 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]
Abstract is missing.