Explaining Reasoning Results for OWL Ontologies with Evee

Christian AlrabbaaChristian Alrabbaa, Stefan BorgwardtStefan Borgwardt, Tom FrieseTom Friese, Anke HirschAnke Hirsch, Nina KnieriemenNina Knieriemen, Patrick KoopmannPatrick Koopmann, Alisa KovtunovaAlisa Kovtunova, Antonio KrügerAntonio Krüger, Alexej PopovičAlexej Popovič, Ida SiahaanIda Siahaan

DOI Link

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krüger, Alexej Popovič, Ida Siahaan
Explaining Reasoning Results for OWL Ontologies with Evee
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 709-719, 2024. IJCAI Organization

Details
Bibtex

KurzfassungAbstract
One of the advantages of formalizing domain knowledge in OWL ontologies is that one can use reasoning systems to infer implicit information automatically. However, it is not always straightforward to understand why certain entailments are inferred, and others are not. The popular ontology editor Protégé offers two explanation services to deal with this issue: justifications for OWL 2 DL ontologies, and proofs generated by the reasoner ELK for lightweight OWL 2 EL ontologies. Since justifications are often insufficient for explaining inferences, there is thus only little tool support for more comprehensive explanations in expressive ontology languages, and there is no tool support at all to explain why something was not derived. In this paper, we present EVEE, a Java library and a collection of plug-ins for Protégé that offers advanced explanation services for both inferred and missing entailments. EVEE explains inferred entailments using proofs in description logics up to ALCH. Missing entailments can be explained using counterexamples and abduction. We evaluated the effectiveness and the interface design of our plug-ins with description logic experts, ontology engineers, and students in two user studies. In these experiments, we were able to not only validate the tool but also gather feedback and insights to improve the existing designs.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{ABFHKKKKPS2024,
  author    = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and Anke
               Hirsch and Nina Knieriemen and Patrick Koopmann and Alisa
               Kovtunova and Antonio Kr{\"{u}}ger and Alexej Popovi{\v{c}} and
               Ida Siahaan},
  title     = {Explaining Reasoning Results for {OWL} Ontologies with Evee},
  editor    = {Pierre Marquis and Magdalena Ortiz and Maurice Pagnucco},
  booktitle = {Proceedings of the 21st International Conference on Principles of
                                 Knowledge Representation and Reasoning (KR
               2024)},
  publisher = {IJCAI Organization},
  year      = {2024},
  pages     = {709-719},
  doi       = {https://doi.org/10.24963/kr.2024/67}
}