11 citations · 20 across the 17 of their papers we have counts for
Showing 2023 · cs.AIShow all
3 papers · 2 filters
cs.AI2023
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…
cs.AI2023
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…
cs.AI2023★ 1 cited
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…