11 citations · 20 across the 17 of their papers we have counts for
5 papers · 1 filter
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann +1
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology, which can be formulated in a description logic…
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese +3
When working with description logic ontologies, understanding entailments derived by a description logic reasoner is not always straightforward. So far, the standard ontology edito…
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann +1
In ontology-mediated query answering, access to incomplete data sources is mediated by a conceptual layer constituted by an ontology. To correctly compute answers to queries, it is…
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Fajar Haifani, Patrick Koopmann, Sophie Tourret +1
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to re…
Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +3
Explanations for description logic (DL) entailments provide important support for the maintenance of large ontologies. The "justifications" usually employed for this purpose in ont…