Why Not? Explaining Missing Entailments with Evee

Christian AlrabbaaChristian Alrabbaa, Stefan BorgwardtStefan Borgwardt, Tom FrieseTom Friese, Patrick KoopmannPatrick Koopmann, Mikhail KotlovMikhail Kotlov

Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Mikhail Kotlov
Why Not? Explaining Missing Entailments with Evee
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, 2023. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailments using justifications and proofs have been developed and implemented as plug-ins for the ontology editor Protégé. However, when the user expects a missing consequence to hold, it is equally important to explain why it does not follow from the ontology. In this paper, we describe a new version of Evee, a Protégé plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{ABFKK2023,
  author    = {Christian Alrabbaa and Stefan Borgwardt and Tom Friese and
               Patrick Koopmann and Mikhail Kotlov},
  title     = {Why Not? Explaining Missing Entailments with Evee},
  booktitle = {Proceedings of the 36th International Workshop on Description
               Logics (DL 2023) co-located with the 20th International
               Conference on Principles of Knowledge Representation and
               Reasoning and the 21st International Workshop on Non-Monotonic
               Reasoning (KR 2023 and {NMR} 2023)},
  series    = {CEUR Workshop Proceedings},
  volume    = {3515},
  publisher = {CEUR-WS.org},
  year      = {2023}
}