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

05/19/2022
by   Christian Alrabbaa, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/15/2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

When working with description logic ontologies, understanding entailment...
research
08/14/2023

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Understanding logical entailments derived by a description logic reasone...
research
08/01/2018

Repairing Description Logic Ontologies by Weakening Axioms

The classical approach for repairing a Description Logic ontology O in t...
research
08/07/2023

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Logic-based approaches to AI have the advantage that their behavior can ...
research
04/27/2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)

Logic-based approaches to AI have the advantage that their behavior can ...
research
04/17/2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)

Logic-based approaches to AI have the advantage that their behaviour can...
research
08/09/2023

Neuro-Symbolic RDF and Description Logic Reasoners: The State-Of-The-Art and Challenges

Ontologies are used in various domains, with RDF and OWL being prominent...

Please sign up or login with your details

Forgot password? Click here to reset