Explanations for description logic (DL) entailments provide important support for the
maintenance of large ontologies. The “justifications” usually employed for this purpose in …

Model checkers provide algorithms for proving that a mathematical model of a system
satisfies a given specification. In case of a violation, a counterexample that shows the …

When working with description logic ontologies, understanding entailments derived by a
description logic reasoner is not always straightforward. So far, the standard ontology editor …

Ontologies provide the logical underpinning for the Semantic Web, but their consequences
can sometimes be surprising and must be explained to users. A promising kind of …

Composite index is always derived with the weighted aggregation of hierarchical
components, which is widely utilized to distill intricate and multidimensional matters in …

Although logical inferences are interpretable, actually explaining them to a user is still a
challenging task. While sometimes it may be enough to point out the axioms from the …

When working with description logic ontologies, understanding entailments derived by a
description logic reasoner is not always straightforward. So far, the standard ontology editor …

Explanations for description logic (DL) entailments provide important support for the
maintenance of large ontologies. The" justifications" usually employed for this purpose in …

Explaining Description Logic Entailments in Practice with Evee and Evonne Page 1 Christian
Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez, Alexej Popovič …