Researcher profile
Christian Alrabbaa
2 papers in the PaperMetrix corpus
Publications
Papers by this author
-
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 …