Raimund Dachselt

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 …