2023/08/14 by Christian Alrabbaa, Stefan Borgwardt, Alrabbaa, Christian +7
Biochemistry, Genetics and Molecular Biology · Computer Science · #Artificial Intelligence (cs.AI) #Biomedical Text Mining and Ontologies #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Semantic Web and Ontologies #Service-Oriented Architecture and Web Services
paper · pdf · doi:10.48550/arxiv.2308.07294
openalex publication_date 2023/08/14 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01
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.