Why Not? Explaining Missing Entailments with Evee (Technical Report)
Abstract
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 $\rm E{\scriptsize VEE}$, a Protégé plugin that now also provides explanations for missing consequences, via existing and new techniques based on abduction and counterexamples.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2023
- DOI:
- 10.48550/arXiv.2308.07294
- arXiv:
- arXiv:2308.07294
- Bibcode:
- 2023arXiv230807294A
- Keywords:
-
- Computer Science - Artificial Intelligence;
- Computer Science - Logic in Computer Science