Year: 2023
Type: preprint
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.
Source: arXiv (Cornell University)
Authors: Alrabbaa, Christian, Borgwardt, Stefan, Friese, Tom, Koopmann, Patrick, Kotlov, Mikhail
Institutions: Technische Universität Dresden, Vrije Universiteit Amsterdam
Language: English
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Funder: Deutsche Forschungsgemeinschaft
OpenAlex ID: W4385889726