[論文レビュー] Bisimulation-Based Comparisons for Interpretations in Description Logics

Ali Rezaei Divroodi, Linh Anh Nguyen|arXiv (Cornell University)|Apr 20, 2013

Semantic Web and Ontologies参考文献 21被引用数 7

ひとこと要約

本稿は記述論理における解釈の双対性に基づく比較を導入し、半正の概念——存在的および全称的モダリティ作用素について閉じており、偽を許容するが否定を許さない論理式——の保存を焦点とする。この比較に関してヘンネシー・ミラーの性質を確立し、半正の概念の帰結を保存する最小化手続きを提示する。これにより、逆関係、名詞、数制限、および自己構成子を含む多様な表現力を持つ記述論理において、半正の概念を通じた双対性の新しい特徴付けが得られる。

ABSTRACT

We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions similar to the ones of bisimulations. The simplest among the considered logics is a variant of PDL (propositional dynamic logic). The others extend that logic with inverse roles, nominals, quantified number restrictions, the universal role, and/or the concept constructor for expressing the local reflexivity of a role. The studied problems are: preservation of semi-positive concepts with respect to comparisons, the Hennessy-Milner property for comparisons, and minimization of interpretations that preserves semi-positive concepts.

研究の動機と目的

• 半正の概念——否定を許さず、偽を許す正の論理式の拡張——を対象とし、記述論理における双対性に基づく比較を体系的に研究すること。
• 解釈が半正の概念の帰結をどのように保存するかの条件を確立し、より豊かな記述論理の構成要素を扱えるように双対性を一般化すること。
• 半正の概念を用いた双対性の新しい特徴付けを提供し、論理的同値性を論理式の満たし方によって実現可能にする。
• 半正の概念の帰結を保存する最小化手続きを開発し、解釈のサイズを縮小しながら論理的内容を維持すること。
• 逆関係、名詞、自己構成子を含む非有限分岐モデルおよび表現力の高い記述論理に対し、ヘンネシー・ミラーの性質を拡張すること。

提案手法

• 解釈間の$Λ$-シミュレーションに類する比較関係を導入し、半正の概念を保存するように双対性を一般化する。
• 遷移シミュレーションと原子ラベルの一致を用いて解釈間の比較関係$Z$を定義し、双方向比較のための対称的類型も定義する。
• 同じ半正の概念を満たす状態を統合することで、解釈を縮小するための整備手順$\mathsf{Tidy}^{sp}_{\Phi}(\mathcal{I})$を提案する。
• 同値関係$\sim_{\Phi,\mathcal{I}}$および$\sim_{\Phi,\mathcal{I}}^{QS}$による商集合の構成を用い、半正の概念の帰結を保存するように解釈を最小化する。
• ヘンネシー・ミラーの性質が非直列的または非有限分岐モデルでも成立するように、概念構文におけるテスト演算子を用いる。
• 適切な有限性および到達可能性の条件下で、$\mathcal{I}$と$\mathcal{I}'$が同じ半正の概念の帰結を満たすための必要十分条件として、$\mathcal{L}_{\Phi}$-双対性が存在することを確立する。

実験結果

リサーチクエスチョン

• RQ1 表現力の高い記述論理、特に逆関係、名詞、数制限を含むものにおいて、双対性に基づく比較を半正の概念を保存するように拡張できるか。
• RQ2 これらの比較に関してヘンネシー・ミラーの性質が成り立つか。すなわち、二つの解釈が双対的であるかどうかが、同じ半正の概念の集合を満たすかどうかに同値であるか。
• RQ3 半正の概念の帰結をすべて保存するように解釈を最小化できるか。また、その結果得られる最小解釈は同型を除いて一意的か。
• RQ4 普遍的役割または$\mathtt{Self}$構成子の存在が、比較および最小化プロセスに与える影響は何か。
• RQ5 非直列的または非有限分岐モデルにおける$\mathcal{L}_{\Phi}$-双対性と半正の概念の満たし方との関係は何か。

主な発見

• 本稿は、半正の概念を対象とする記述論理における双対性に基づく比較に関してヘンネシー・ミラーの性質を確立し、論理的同値性が論理式の満たし方によって保証されることを示した。
• 最小化手続き$\mathsf{Tidy}^{sp}_{\Phi}(\mathcal{I})$は、元の解釈と同一の半正の概念の帰結を満たす解釈を生成し、そのサイズは同じ帰結を満たす任意の他の解釈より小さい。
• 自己構成子を含む解釈に対して、商集合の手続き$\sim_{\Phi,\mathcal{I}}^{QS}$は最小性と半正の概念の帰結の保存を保証する。
• 最小化された解釈$\mathcal{I}_2$のサイズは$\#\Delta^{\mathcal{I}_2} \leq \#\Delta^{\mathcal{I}'_0}$を満たし、同値な解釈の中で基数の観点から最適であることが証明された。
• 有限性および到達可能性の制約のもとで、二つの解釈間に$\mathcal{L}_{\Phi}$-双対性が存在することは、それらが同じ半正の概念の帰結の集合を満たすことと同値である。
• 半正の概念による双対性の特徴付けは、非直列的モデルや$\mathtt{Self}$のような複雑な構成子を扱える点で、従来の研究を拡張する画期的なものである。