Provenance for the Description Logic ELHr

要約

ELHr オントロジーにおける出所情報の処理の問題に対処します。
セミリングに基づいて古典的なデータ来歴を拡張し、オントロジー公理に来歴トークンで注釈が付けられる、オントロジーベースのデータアクセスのために最近導入された設定を検討します。
結果は、その導出に関与した公理の来歴を継承し、来歴多項式を注釈として生成します。
ELHr の場合の意味論を分析し、接続詞の存在が来歴の処理にさまざまな困難を引き起こすが、その一部は半環の乗法冪等性を仮定することで軽減されることを示します。
この仮定に基づいて、来歴を伴うオントロジーの補完、結果に関連する一連の公理の計算、およびクエリの応答という 3 つの問題を研究します。

要約(オリジナル)

We address the problem of handling provenance information in ELHr ontologies. We consider a setting recently introduced for ontology-based data access, based on semirings and extending classical data provenance, in which ontology axioms are annotated with provenance tokens. A consequence inherits the provenance of the axioms involved in deriving it, yielding a provenance polynomial as an annotation. We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency of the semiring. Under this assumption, we study three problems: ontology completion with provenance, computing the set of relevant axioms for a consequence, and query answering.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google