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

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 (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2206.07711, 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

@techreport{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 (Extended
                 Version)},
  institution = {arXiv.org},
  year        = {2022}
}