[論文レビュー] Negation in SPARQL

Renzo Angles, Claudio Gutiérrez|arXiv (Cornell University)|Jan 1, 2016

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

ひとこと要約

本稿は、SPARQLにおける否定の包括的分析を提供し、その種別を特定し、表現力の評価を行い、W3C標準のより原理的である代替手段としてのコアSPARQL代数を提案する。集合論的公理に基づく形式的基準を確立し、否定演算子の主要な不整合を明らかにするとともに、より良いクエリ言語設計の基盤を提供する。

ABSTRACT

This paper presents a thorough study of negation in SPARQL. The types of negation supported in SPARQL are identified and their main features discussed. Then, we study the expressive power of the corresponding negation operators. At this point, we identify a core SPARQL algebra which could be used instead of the W3C SPARQL algebra. Finally, we analyze the negation operators in terms of their compliance with elementary axioms of set theory.

研究の動機と目的

• SPARQLでサポートされる否定の種別を特定・分類すること。
• 形式論理および集合論の観点から、SPARQLの否定演算子の表現力を分析すること。
• 否定の意図された意味論をよりよく反映するコアSPARQL代数を提案すること。
• SPARQLの否定演算子が集合論の基本公理にどの程度適合しているかを評価すること。
• 将来の標準においてSPARQLの否定の取り扱いを改善するための形式的基盤を提供すること。

提案手法

• NOT EXISTSおよびMINUSを含む、SPARQLの否定メカニズムの体系的分類。
• 集合論的演算を用いたSPARQL代数の形式化により、意味的挙動の評価。
• 必須の演算子を抽出し、推論を簡素化するコアSPARQL代数の定義。
• 集合論的公理（例：補集合性、分配法則）の適用により、否定演算子の一貫性のテスト。
• W3C SPARQL代数と提案されたコア代数の比較により、乖離を明確化。
• 形式的証明技法を用いて、否定演算子が論理的および集合論的期待を満たすかどうかを評価。

実験結果

リサーチクエスチョン

• RQ1 SPARQLでサポートされる否定の種別は何か。また、それらの意味論はどのように異なるか？
• RQ2 SPARQLの否定演算子は、複雑なクエリパターンをどの程度表現可能か？
• RQ3 SPARQLの否定演算子は、集合論の基本公理にどの程度適合しているか？
• RQ4 否定の意図された意味論をよりよく反映するコアSPARQL代数を定義できるか？
• RQ5 W3C SPARQL代数は、否定の取り扱いにおいて、どのような形式的制限を有するか？

主な発見

• SPARQLのNOT EXISTSおよびMINUS演算子は、古典的集合論的否定とは常に一致しない異なる意味的挙動を示す。
• W3C SPARQL代数は、補集合や分配法則の取り扱いにおいて、基本的な集合論的公理を完全に満たしていない。
• 推論を簡素化し、否定の取り扱いにおける一貫性を向上させるコアSPARQL代数を定義可能である。
• 提案されたコア代数は、否定を含むSPARQLクエリの実装および最適化のより原理的基盤を提供する。
• SPARQLの現在の否定の取り扱いは、特定のクエリパターンで直感に反する結果を生じさせ、形式的見直しが必要であることを示している。
• 形式的分析により、MINUSが標準的な集合論的意味論における関係除法や補集合と同等でないことが判明した。