Willi Hieke

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 …