[論文レビュー] Inference rules for RDF(S) and OWL in N3Logic

Dominik Tomaszuk|arXiv (Cornell University)|Jan 11, 2016

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

ひとこと要約

本稿では、Notation 3 Logic (N3Logic) を用いて RDF(S) および OWL の推論規則を形式化し、RDF グラフ上で帰納的推論を可能にしている。OWL-P と呼ばれる軽量な OWL プロファイルを導入することで、複雑な構文を省略し、計算コストを低減しながらも意味的表現力を維持し、RDF グラフストアにおける効率的な推論を実現している。

ABSTRACT

This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language constructs.

研究の動機と目的

• Semantic Web における一貫性のあるルールベース推論を実現するため、Notation 3 Logic 内で RDF、RDFS、OWL の推論規則を形式化すること。
• OWL の高い最悪ケース計算量を解消するため、複雑な言語的構文を省略した、計算が tractable な OWL-P と呼ばれる軽量プロファイルを導入すること。
• 人間が読みやすい論理拡張ルール構文を用いることで、帰納的 RDF グラフストアにおける効率的かつスケーラブルな推論を実現すること。
• 既存の推論エンジン（例：FuXi や cwm）と互換性を持つ、検証済みかつ相互運用可能なルールフレームワークを提供すること。

提案手法

• 推論の基礎として Notation 3 Logic (N3Logic) を採用。RDF に論理記号、変数、含意を拡張し、ルールベース推論を可能にする。
• 推論規則を条件・結論のペアとして定義。条件は RDF グラフ内のパターンであり、結論は導出される三項組み合わせである。
• RDF、RDFS、OWL の構文的および意味的規則を適用。特に subPropertyOf、subClassOf、equivalentClass、disjointWith などの構文を含む。
• 逆プロパティや推移的チェーンといった複雑な構文を省略した最小限の OWL プロファイルである OWL-P を導入。これによりソフトな推論が可能となる。
• N3 の { } 形式記法と => 含意記号を用いてルールをルールベース構文で符号化。全称的および存在的変数を両方サポート。
• すべての推論規則を FuXi や cwm といった標準的な推論エンジンで検証し、正しさと相互運用性を確認。

実験結果

リサーチクエスチョン

• RQ1 RDF(S) および OWL の帰属関係を、N3Logic のような論理拡張 RDF 構文内でどのように形式的にルールとして符号化できるか？
• RQ2 N3Logic を用いた RDF および RDFS グラフにおける音声的かつ完全な推論を実現するために必要な最小限のルールセットは何か？
• RQ3 OWL の高い計算量を、実用的な知識表現に必要な表現力を損なわず、どのように軽減できるか？
• RQ4 ソフトな推論をサポートする軽量な OWL プロファイル（OWL-P）を定義できるか？ また、既存のルールベース推論エンジンと互換性を保てるか？
• RQ5 Notation 3 Logic は、人間が読みやすく拡張可能で、効率的なルールベース推論を実現する Semantic Web データ処理において、果たす役割は何か？

主な発見

• 本稿では、Notation 3 Logic を用いて RDF、RDFS、OWL における包括的な推論規則の形式化に成功。これにより、RDF グラフ上での帰納的推論が可能となった。
• 提案されたすべての推論規則は、FuXi や cwm といった既存の推論エンジンで検証され、正しさと相互運用性が確認された。
• OWL-P は、推移的および逆プロパティといった複雑な構文を省略した軽量な OWL プロファイルとして導入され、推論の複雑さが低減された。
• 形式化により、OWL-P を通じたソフトな推論が可能となり、大規模な RDF グラフストアにおける効率的かつスケーラブルな推論が実現された。
• N3Logic の使用により、人間が読みやすく拡張可能で論理的に整合性のあるルールベース推論フレームワークが実現され、既存の Semantic Web ツールチェインとシームレスに統合された。
• equivalentClass および equivalentProperty のルールにより、対称的かつ推移的な推論が保証され、OWL の意味論が計算的に tractable な形で維持された。