[論文レビュー] Foundations of an Alternative Approach to Reification in RDF

Olaf Hartig, Bryan Thompson|arXiv (Cornell University)|Jun 13, 2014

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

ひとこと要約

本稿では、RDF再帰化の代替手段として、角括弧（<< >>）を用いて三元組を他の三元組の主語または目的語として直接埋め込む仕組みを提案する。このアプローチによりメタデータ表現が簡素化され、SPARQL-star拡張によるクエリの表現力が向上し、ネストされた三元組に対する拡張された意味論とクエリ機能を備えたRDF-starが、W3Cによって標準化された。

ABSTRACT

This document defines extensions of the RDF data model and of the SPARQL query language that capture an alternative approach to represent statement-level metadata. While this alternative approach is backwards compatible with RDF reification as defined by the RDF standard, the approach aims to address usability and data management shortcomings of RDF reification. One of the great advantages of the proposed approach is that it clarifies a means to (i) understand sparse matrices, the property graph model, hypergraphs, and other data structures with an emphasis on link attributes, (ii) map such data onto RDF, and (iii) query such data using SPARQL. Further, the proposal greatly expands both the freedom that database designers enjoy when creating physical indexing schemes and query plans for graph data annotated with link attributes and the interoperability of those database solutions.

研究の動機と目的

• 1つの三元組に関するメタデータを表現する際に4つの別々の三元組を必要とする標準RDF再帰化の非効率さと複雑さを是正すること。
• 三元組を主語または目的語の位置で第一級の値として直接埋め込むことで、使いやすさとデータ管理の向上を図ること。
• とくにスパース行列、プロパティグラフ、ハイパーグラフにおいて、ステートメントレベルのメタデータをより直感的かつコンパクトに表現できること。
• 埋め込み三元組とその関連メタデータをネイティブにクエリ可能にするSPARQLの拡張のための形式的基盤を提供すること。
• 効率的なインデクシング、クエリ最適化、グラフデータベースにおけるリンクレベルのメタデータを伴うデータ交換を可能にする、標準的かつ相互運用可能なモデルの基盤を構築すること。

提案手法

• 1. 三元組を角括弧<< と >> で囲むことで、他の三元組の主語または目的語として第一級の値として扱う拡張されたRDFデータモデル（RDF⋆）を導入する。
• 2. 主語および目的語の両方に埋め込み三元組を含む三元組パターンをサポートするSPARQL拡張（SPARQL⋆）を定義する。これにより、メタデータの直接クエリが可能になる。
• 3. 埋め込み三元組を変数にバインドするための新しい代数的演算子 TR(triple⋆ pattern, variable) を導入し、BIND文に類似した機能を提供する。
• 4. 埋め込み三元組を再帰的に処理するためのLift関数を定義し、そのコンponentsを標準SPARQL代数式に翻訳することで、既存のクエリ処理パイプラインとの互換性を確保する。
• 5. 基本的グラフパターン、プロパティパスパターン、BIND節においても、再帰的かつ文脈に応じた変換を適用することで、埋め込み三元組を含むSPARQL代数の翻訳プロセスを拡張する。
• 6. 埋め込み三元組とその関連メタデータを含む解のマッピングを処理できるように、SPARQL⋆の評価意味論を標準SPARQL評価に拡張する。

実験結果

リサーチクエスチョン

• RQ1 RDF再帰化をどのように再構築すれば、1つの再帰化されたステートメントあたり4つの別々の三元組のオーバーヘッドを減らしつつも、意味論の明確さを保てるか？
• RQ2 三元組を主語／目的語の位置に直接埋め込むことで、ステートメントレベルのメタデータを含むSPARQLクエリの表現力と効率性がどのように向上するか？
• RQ3 三元組を第一級の値として扱う場合、プロパティグラフやハイパーグラフといった既存のデータモデルを、RDFにより自然にマッピングできるか？
• RQ4 標準再帰化に依存せずに、埋め込み三元組をクエリ可能にするために必要な形式的意味論と代数的拡張は何か？
• RQ5 得られたモデルは、既存のRDFシステムとの後方互換性を保ちつつ、データインデクシングとクエリ最適化における新たな機能をどのように実現できるか？

主な発見

• 提案手法により、<< と >> デリミタを用いて三元組を直接メタデータ三元組に埋め込むことで、ステートメントレベルのメタデータをよりコンパクトかつ人間が読みやすい形で表現できる。
• この手法により、1つのステートメントあたり4つの再帰化三元組を必要としなくなり、データ交換の効率性が著しく向上した。
• SPARQL⋆は、埋め込み三元組を変数にバインドできる新しい代数的演算子 TR(triple⋆ pattern, variable) を導入し、ネストされた三元組構造の直接クエリが可能になった。
• Lift関数により、埋め込み三元組パターンを標準SPARQL代数式に再帰的に翻訳でき、既存のクエリ処理パイプラインとの互換性が保証された。
• SPARQL⋆の評価意味論はRDF⋆グラフ上で形式的に定義されており、埋め込み三元組を含むクエリの一貫性と曖昧さのない解釈が可能になった。
• 本手法は、引用された三元組の暗黙の主張を削除し、標準化されたテストスイートと構文サポートを導入したW3CのRDF-starおよびSPARQL-star規格によって置き換えられ、より洗練されたモデルに発展した。