[論文レビュー] RDF Validation Requirements - Evaluation and Logical Underpinning

Thomas Bosch, Andreas Nölle+2 more|arXiv (Cornell University)|Jan 16, 2015

Semantic Web and Ontologies参考文献 2被引用数 8

ひとこと要約

本稿では、74のRDFバリデーション要件に対して、DSP、OWL 2、ReSh、ShEx、SPINの5つの代表的なRDF制約言語を評価し、大多数の制約が記述論理学（DL）に論理的にマッピング可能であることを示している。また、制約間の損失のない変換を可能にする汎用フレームワーク「RDF制約オントロジー（RDF-CO）」を提案し、意味的に同等の制約の統一されたバリデーションを実現している。

ABSTRACT

There are many case studies for which the formulation of RDF constraints and the validation of RDF data conforming to these constraint is very important. As a part of the collaboration with the W3C and the DCMI working groups on RDF validation, we identified major RDF validation requirements and initiated an RDF validation requirements database which is available to contribute at http://purl.org/net/rdf-validation. The purpose of this database is to collaboratively collect case studies, use cases, requirements, and solutions regarding RDF validation. Although, there are multiple constraint languages which can be used to formulate RDF constraints (associated with these requirements), there is no standard way to formulate them. This paper serves to evaluate to which extend each requirement is satisfied by each of these constraint languages. We take reasoning into account as an important pre-validation step and therefore map constraints to DL in order to show that each constraint can be mapped to an ontology describing RDF constraints generically.

研究の動機と目的

• 実世界のユースケースからRDFバリデーション要件を特定し、体系的に分類すること。
• 5つの代表的なRDF制約言語（DSP、OWL 2、ReSh、ShEx、SPIN）の表現力を、これらの要件に対して評価すること。
• 任意のRDF制約を情報損失なく表現可能な、汎用的で論理的に根拠のあるオントロジー（RDF-CO）を構築すること。
• DLで表現可能な制約が、正式にオントロジーにマッピング可能であることを示し、非DL制約もRDF-COで依然として表現可能であることを確認すること。
• 汎用オントロジーを介して、異なる制約言語間で意味的に同等の制約を統一してバリデーション可能にする仕組みを提供すること。

提案手法

• 74のRDFバリデーション要件を、普遍性、複雑さ、文脈、DL表現力の4つの次元に沿って分類した。
• 各要件をRDF制約タイプにマッピングし、5つの制約言語における表現可能性を評価した。
• OWL 2 QLとOWL 2 DLの表現力を区別することで、論理的厳密性と推論支援の水準を評価した。
• 任意のRDF制約を一般に表現可能なRDF制約オントロジー（RDF-CO）を設計し、3つのクラス、3つのオブジェクトプロパティ、3つのデータプロパティを定義した。
• DLで表現可能な制約はDLにマッピング（論理的根拠の付与）、そうでない場合はRDF-COにマッピングすることで、網羅的カバレッジを確保した。
• SPARQLクエリと形式論理を用いて、マッピングの正しさと完全性を検証した。

実験結果

リサーチクエスチョン

• RQ1 5つの代表的なRDF制約言語（DSP、OWL 2、ReSh、ShEx、SPIN）は、同定された74のRDFバリデーション要件をどの程度表現可能か？
• RQ2 どの制約が記述論理学（DL）で表現可能で、どの制約がそうでないか。両者を一貫して表現可能か？
• RQ3 汎用オントロジー（RDF-CO）は、異なるRDF制約言語間の損失のない変換層として機能可能か？
• RQ4 DLによる推論と事前バリデーションは、RDF制約バリデーションの信頼性と整合性をどのように向上させるか？
• RQ5 文脈特有の制約（例：言語タグ、文字列操作、コレクション）はバリデーションパイプラインにおいて果たす役割は何か？

主な発見

• 74のRDFバリデーション要件の大多数は、記述論理学（DL）で表現可能であり、形式的推論と論理的根拠を得られる。
• DLで表現できない制約（例：IRIパターンマッチング、文字列操作、SPARQLベースのバリデーション）も、RDF-COに情報損失なく表現可能である。
• RDF制約オントロジー（RDF-CO）は、すべての制約タイプを一般化し、意味的損失なしに特定の制約言語間での変換を可能にした。
• RDF-COで一般化して表現された制約のバリデーションは、すべての元の制約言語で同等のバリデーション結果を保証する。
• 評価結果から、OWL 2 QLは多くの要件を満たすが、全称的量化や複雑な役割階層を含むより複雑な制約には、OWL 2 DLが必要であることが確認された。
• このフレームワークにより、言語間で意味的に同等の制約を即座にバリデーション可能となり、重複の削減と相互運用性の向上が実現された。