On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne

Christian AlrabbaaChristian Alrabbaa, Stefan BorgwardtStefan Borgwardt, Tom FrieseTom Friese, Patrick KoopmannPatrick Koopmann, Julián MéndezJulián Méndez, Alexej PopovičAlexej Popovič

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič
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, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022, 2022

Details
Bibtex

KurzfassungAbstract
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology editor Protégé offers two services to help: (black-box) justifications for OWL 2 DL ontologies, and (glass-box) proofs for lightweight OWL EL ontologies, where the latter exploits the proof facilities of reasoner Elk. Since justifications are often insufficient in explaining inferences, there is thus only little tool support for explaining inferences in more expressive DLs. In this paper, we introduce Evee-libs, a Java library for computing proofs for DLs up to ALCH, and Evee-protege, a collection of Protégé plugins for displaying those proofs in Protégé. We also give a short glimpse of the latest version of Evonne, a more advanced standalone application for displaying and interacting with proofs computed with Evee-libs.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{ABFKMP2022,
  author    = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and
               Patrick Koopmann and Juli{\'{a}}n M{\'{e}}ndez and Alexej
               Popovi{\v{c}}},
  title     = {On the Eve of True Explainability for {OWL} Ontologies:
               Description Logic Proofs with Evee and Evonne},
  editor    = {Ofer Arieli and Martin Homola and Jean Christoph Jung and
               Marie-Laure Mugnier},
  booktitle = {Proceedings of the 35th International Workshop on Description
               Logics (DL 2022), August 2022},
  year      = {2022}
}