11 citations · 20 across the 17 of their papers we have counts for
4 papers · 1 filter
Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)
Tobias John, Patrick Koopmann
While classical planning languages make the closed-domain and closed-world assumption, there have been various approaches to extend those with DL reasoning, which is then interpret…
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…
Efficient Computation of General Modules for ALC Ontologies (Extended Version)
Hui Yang, Patrick Koopmann, Yue Ma +1
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology tha…