# Towards Ontology-Mediated Planning with OWL DL Ontologies (Extended Version)

arXiv: https://arxiv.org/abs/2308.08200 · HTML: https://mlsanity.com/paper/2308.08200/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 40 references that are in the map.
- First posted on arXiv 16 Aug 2023.

## Builds on (most cited first, 2 of 2)

- [Description Logic Knowledge and Action Bases](https://mlsanity.com/paper/1402.0569/) (2014)
- [Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)](https://mlsanity.com/paper/2203.09361/) (2022)

## Built on by (most cited first, 2 of 2)

- [Planning with OWL-DL Ontologies (Extended Version)](https://mlsanity.com/paper/2408.07544/) (2024)
- [PIE-APT: Abductive Planning over Temporal Dynamic Knowledge Graphs via Incremental Reasoning](https://mlsanity.com/paper/2607.27287/) (2026)

## Abstract (arXiv)

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 interpreted under the usual open-world semantics. Current approaches for planning with DL ontologies integrate the DL directly into the planning language, and practical approaches have been developed based on first-order rewritings or rewritings into datalog. We present here a new approach in which the planning specification and ontology are kept separate, and are linked together using an interface. This allows planning experts to work in a familiar formalism, while existing ontologies can be easily integrated and extended by ontology experts. Our approach for planning with those ontology-mediated planning problems is optimized for cases with comparatively small domains, and supports the whole OWL DL fragment. The idea is to rewrite the ontology-mediated planning problem into a classical planning problem to be processed by existing planning tools. Different to other approaches, our rewriting is data-dependent. A first experimental evaluation of our approach shows the potential and limitations of this approach.