We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version

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 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 visualizes proofs of consequences for ontologies written in expressive DLs. We describe the methods used for computing those proofs, together with a feature called signature-based proof condensation. Moreover, we evaluate the quality of generated proofs using real ontologies.
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
Cite as: arXiv:2205.09583 [cs.LO]
  (or arXiv:2205.09583v1 [cs.LO] for this version)

Submission history

From: Christian Alrabbaa [view email]
[v1] Thu, 19 May 2022 14:24:40 GMT (2285kb,D)

Link back to: arXiv, form interface, contact.