Semiring Provenance for Lightweight Description Logics

要約

Semiringの起源（リレーショナルデータベースの設定で元々定義されていた成功したフレームワーク）を調査するために調査します。
これに関連して、オントロジー公理には通勤したセミングの要素が注釈が付けられ、これらの注釈は、それらがどのように導き出されるかを反映する方法でオントロジーの結果に伝播されます。
いくつかの軽量の説明ロジックを含む言語の出所セマンティクスを定義し、特定の種類の注釈（ファジー度など）で注釈が付けられたオントロジーについて定義されているセマンティクスとの関係を示します。
セマイニングに関するいくつかの制限の下で、セマンティクスは望ましい特性（データベースで定義されたセマイヤーの起源を拡張するなど）を満たしていることを示します。
次に、よく知られている理由に焦点を当てます。そのためには、アサーションまたは接続詞の回答の出所に関連する問題の複雑さを研究します。
最後に、データベース設定におけるいわゆる陽性ブールの起源と系統に対応する2つのさらに制限されたケースを検討します。
これらのケースでは、説明ロジックの説明に関連するよく知られている概念との関係を示し、複雑さ分析を完了します。
副次的な貢献として、$ \ mathcal {elhi} _ \ bot $ ontologyの条件を扱いやすい推論を保証します。

要約(オリジナル)

We investigate semiring provenance–a successful framework originally defined in the relational database setting–for description logics. In this context, the ontology axioms are annotated with elements of a commutative semiring and these annotations are propagated to the ontology consequences in a way that reflects how they are derived. We define a provenance semantics for a language that encompasses several lightweight description logics and show its relationships with semantics that have been defined for ontologies annotated with a specific kind of annotation (such as fuzzy degrees). We show that under some restrictions on the semiring, the semantics satisfies desirable properties (such as extending the semiring provenance defined for databases). We then focus on the well-known why-provenance, for which we study the complexity of problems related to the provenance of an assertion or a conjunctive query answer. Finally, we consider two more restricted cases which correspond to the so-called positive Boolean provenance and lineage in the database setting. For these cases, we exhibit relationships with well-known notions related to explanations in description logics and complete our complexity analysis. As a side contribution, we provide conditions on an $\mathcal{ELHI}_\bot$ ontology that guarantee tractable reasoning.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google