1 citations · 2 across the 3 of their papers we have counts for
3 papers
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Christian Alrabbaa, Stefan Borgwardt, Tom Friese +2
Understanding logical entailments derived by a description logic reasoner is not always straight-forward for ontology users. For this reason, various methods for explaining entailm…
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…