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

要約

古典的な計画言語はクローズド ドメインおよびクローズドワールドを前提としていますが、DL 推論を使用してそれらを拡張するさまざまなアプローチがあり、通常のオープンワールド セマンティクスの下で解釈されます。
DL オントロジーを使用した計画の現在のアプローチは、DL を計画言語に直接統合しており、一次書き換えまたはデータログへの書き換えに基づいて実用的なアプローチが開発されています。
ここでは、計画仕様とオントロジーを分離し、インターフェイスを使用してリンクする新しいアプローチを紹介します。
これにより、計画の専門家は使い慣れた形式で作業できる一方、オントロジーの専門家は既存のオントロジーを簡単に統合および拡張できます。
これらのオントロジー媒介の計画問題を使用した計画のアプローチは、比較的小さなドメインのケースに最適化されており、OWL DL フラグメント全体をサポートしています。
このアイデアは、オントロジー媒介の計画問題を、既存の計画ツールで処理できる古典的な計画問題に書き直すことです。
他のアプローチとは異なり、私たちの書き換えはデータに依存します。
私たちのアプローチの最初の実験的評価は、このアプローチの可能性と限界を示しています。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google