Christian Alrabbaa

Evonne: Interactive Proof Visualization for Description Logics (System Description)

2022 · Lecture notes in computer science

Abstract Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The “justifications” usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a …

Explaining Non-Entailment by Model Transformation for the Description Logic EL

2022

Reasoning results computed by description logic systems can be hard to comprehend. When an ontology does not entail an expected subsumption relationship, generating an explanation of this non-entailment becomes necessary. In this paper, we use …