Planning with OWL-DL Ontologies (Extended Version)

Tobias John, Patrick Koopmann

We introduce ontology-mediated planning, in which planning problems are combined with an ontology. Our formalism differs from existing ones in that we focus on a strong separation…