research
∙
08/14/2023
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Understanding logical entailments derived by a description logic reasone...
share
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
∙
08/30/2022
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
In ontology-mediated query answering, access to incomplete data sources ...
research
∙
06/20/2022
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
In ontology-mediated query answering, access to incomplete data sources ...
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
∙
05/19/2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) – Extended Version
Explanations for description logic (DL) entailments provide important su...
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