Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Year: 2022
Type: preprint
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.
Source: arXiv (Cornell University)
Institution: Technische Universität Dresden
Language: English
Topic: Semantic Web and Ontologies
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
Awards: EXC 2050: Centre for Tactile Internet with HumanintheLoop (CeTI), EXC 2068: Physik des Lebens Die dynamische Organisation lebender Materie (PoL), G1933938177, G3032849772, G4021765181, G5086605701, G5154814024, G541433245, G6487565558, G6665675043, G6819048190, TRR 248: Grundlagen verständlicher SoftwareSysteme für eine nachvollziehbare cyberphysische Welt
OpenAlex ID: W4281254376