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…