| ||||
| ||||
![]() Title:Evonne: Interactive Proof Visualization for Description Logics (System Description) Authors:Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann and Julián Méndez Conference:IJCAR 2022 Tags:Description Logic, Explanation, Proofs and Visualization Abstract: Explanations for description logic (DL) entailments provide important support for the design and maintenance of large ontologies. The "justifications" usually employed for this purpose in ontology editors pinpoint the parts of the ontology responsible for a given entailment. Proofs for entailments make the intermediate reasoning steps explicit, and thus explain how a consequence can actually be derived. We present an interactive system for exploring description logic proofs, called Evonne, which not only visualizes proofs of consequences for ontologies written in expressive DLs, but also offers several proof generation procedures and various functions for condensing large proofs. Evonne: Interactive Proof Visualization for Description Logics (System Description) ![]() Evonne: Interactive Proof Visualization for Description Logics (System Description) | ||||
Copyright © 2002 – 2025 EasyChair |