11 citations · 15 across the 9 of their papers we have counts for
6 papers · 1 filter
The Shape of Proofs: A Tale of Three Calculi (Extended Version)
Christian Alrabbaa, Stefan Borgwardt, Philipp Herrmann +1
Consequence-based reasoning can be used to construct proofs that explain entailments of description logic (DL) ontologies. In the literature, one can find multiple consequence-base…
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +2
Logic-based approaches to AI have the advantage that their behavior can in principle be explained with the help of proofs of the computed consequences. For ontologies based on Desc…
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…
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…
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt +2
Logic-based approaches to AI have the advantage that their behaviour can in principle be explained by providing their users with proofs for the derived consequences. However, if su…