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.

翻译：尽管经典规划语言采用封闭域和封闭世界假设，但已有多种方法通过DL推理对其进行扩展，并在通常的开放世界语义下进行解释。当前基于DL本体的规划方法将DL直接集成到规划语言中，且已基于一阶重写或重写为数据日志（datalog）的方法开发出实用方案。本文提出一种新方法，将规划规约与本体分离，并通过接口进行关联。这使得规划专家能够使用熟悉的表达形式，而本体专家则可轻松集成并扩展现有本体。针对这些本体中介规划问题的求解方法，在领域规模相对较小时进行了优化，并支持整个OWL DL片段。其核心思想是将本体中介规划问题重写为经典规划问题，以便由现有规划工具处理。与其他方法不同，本文的重写过程是数据相关的。初步实验评估揭示了该方法的潜力与局限性。