[論文レビュー] Pleasantly Consuming Linked Data with RDF Data Descriptions

Michael Schmidt, Georg Lausen|arXiv (Cornell University)|Jul 12, 2013

Semantic Web and Ontologies参考文献 18被引用数 3

ひとこと要約

この論文は、キー、基数、型制限などのインスタンスレベルの制約を指定するための言語としてRDFデータ記述（RDD）を導入し、データ品質の向上とSPARQLクエリ作成の簡素化を図る。形式的な一階論理意味論を提供することで、機械検査可能な制約を実現し、クエリ最適化を促進し、リンクドデータアプリケーションにおける一貫性のあるデータ消費を保証する。

ABSTRACT

Although the intention of RDF is to provide an open, minimally constraining way for representing information, there exists an increasing number of applications for which guarantees on the structure and values of an RDF data set become desirable if not essential. What is missing in this respect are mechanisms to tie RDF data to quality guarantees akin to schemata of relational databases, or DTDs in XML, in particular when translating legacy data coming with a rich set of integrity constraints - like keys or cardinality restrictions - into RDF. Addressing this shortcoming, we present the RDF Data Description language (RDD), which makes it possible to specify instance-level data constraints over RDF. Making such constraints explicit does not only help in asserting and maintaining data quality, but also opens up new optimization opportunities for query engines and, most importantly, makes query formulation a lot easier for users and system developers. We present design goals, syntax, and a formal, First-order logics based semantics of RDDs and discuss the impact on consuming Linked Data.

研究の動機と目的

• RDFデータに対して明示的で機械処理可能な制約が不足している現状、特に既存の整合性制約を持つレガシーデータをRDFに変換する際の課題に対処すること。
• 開発者やユーザーが、プロパティの多重性やデータ構造について推測せずに正確で信頼性の高いSPARQLクエリを記述できるようにすること。
• DTDやリレーショナルスキーマに類似した、ユーザーが読みやすく機械処理可能なRDF用の言語を提供することで、データ品質とクエリ最適化を向上させること。
• RDF(S)のオープンワールド仮説と整合性を持つ形で、キー、基数、サブプロパティ制限などの制約を形式的に定式化すること。
• 制約がオプションであるが、段階的に追加可能である「ペイ・アズ・ユー・ゴー」モデルをサポートし、データの信頼性とクエリの予測可能性を向上させること。

提案手法

• RDFインスタンスデータに対する制約（キー、基数、型制限など）を表現するための構文として、RDFデータ記述（RDD）言語を提案する。
• RDDに形式的な一階論理意味論を定義し、RDFデータセットに対する制約の整合性検証を正確かつ完全に行えるようにする。
• プロパティ集合に対する全射性と一意性の制約を組み合わせることで、キー制約をサポートし、2つの異なるリソースが同じキー値を共有しないことを保証する。
• 全射性、部分射性、最小/最大基数、修飾された範囲型制約などの制約タイプを導入し、構造的および値レベルの制限を表現する。
• 制約を一階論理に形式的に埋め込むことで、既存の推論およびクエリ最適化パイプラインとの統合を可能にする。
• 制約がオプションであるが、段階的に追加可能である「ペイ・アズ・ユー・ゴー」モデルをサポートし、データ品質とクエリ信頼性の向上を図る。

実験結果

リサーチクエスチョン

• RQ1 インスタンスレベルの制約（キー、基数など）をRDFデータに明示的に表現する方法は何か？ これによりデータ品質とクエリ信頼性がどのように向上するか？
• RQ2 RDF(S)およびOWL語彙と補完的である、ユーザーにやさしく機械処理可能なRDFデータ用の制約表現の構文は何か？
• RQ3 制約を一階論理に基づいて形式的に定式化することで、SPARQLクエリエンジンにおける検証、最適化、推論がどのように可能になるか？
• RQ4 RDF(S)のオープンワールド仮説と制約を組み合わせた際の影響は何か？ これは実際にはどのように調和できるか？
• RQ5 実世界のリンクドデータ公開において、制約仕様を段階的に採用する方法は何か？ 特に、既存の整合性制約を持つリレーショナルデータベースからのマッピングにおいては？

主な発見

• RDDは、RDF(S) や OWL において本来暗黙的または欠落しているキー、基数、型制限などのインスタンスレベルの制約を明示的に指定可能である。
• RDDの形式的な一階論理意味論により、制約の整合性検証が正確かつ完全に行えるようになり、SPARQLクエリエンジンにおける最適化の道筋が開かれる。
• 制約を明示することで、SPARQLクエリの複雑さが軽減され、複雑な OPTIONAL や GROUP BY パatters を単純で予測可能なクエリに置き換えることができる。
• 言語は「ペイ・アズ・ユー・ゴー」モデルをサポートしており、発行者が初期段階で完全なスキーマの強制を必要とせずに、段階的に制約を追加可能である。
• RDDにより、データの構造的保証がデータ消費者に提供されるようになり、データがオープンワールド仮説のもとで公開されていても、データ品質と相互運用性が向上する。
• 本アプローチは、RDFのオープンワールド性と整合性を保ちつつ、表現力と適合性のバランスを慎重にとることで、制約を意味的にRDFで表現可能であることを示している。