Description Logics with Abstraction and Refinement

要約

オントロジーでは多くの場合、複数の抽象化レベルでの知識表現が必要ですが、記述ロジック (DL) にはこれをサポートするための機能が十分に備わっていません。
我々は、抽象化レベルが第一級市民であり、論理積クエリに基づいて、複数の抽象化レベルにわたる概念と役割の抽象化と洗練のための明示的な演算子を提供する DL の拡張を提案します。
結果として得られる DL ファミリーの推論は決定可能ですが、一見無害に見えるいくつかのバリエーションは決定不可能であることが判明することを証明します。
また、ロジックといくつかの関連する断片の正確な複雑性も特定します。

要約(オリジナル)

Ontologies often require knowledge representation on multiple levels of abstraction, but description logics (DLs) are not well-equipped for supporting this. We propose an extension of DLs in which abstraction levels are first-class citizens and which provides explicit operators for the abstraction and refinement of concepts and roles across multiple abstraction levels, based on conjunctive queries. We prove that reasoning in the resulting family of DLs is decidable while several seemingly harmless variations turn out to be undecidable. We also pinpoint the precise complexity of our logics and several relevant fragments.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google