5

W3C 勧告RDF 1.1 の概念と抽象構文は、 一般化された RDF トリプル(つまり、主語/述語/目的語のそれぞれが IRI/bnode/リテラル​​になり得る非標準のトリプル) とは何かを定義しています。

その可能な使用法について、次の例を示します。

RDF トリプルの要件を緩めると便利な場合があります。たとえば、RDFS 含意ルールの完全性は、RDF トリプルの一般化により簡単に示せます。

「RDFS含意ルールの完全性」とはどういう意味ですか? (W3C 勧告RDF スキーマ 1.1で「完全」または「含意」を検索しても結果は得られません。)

そして、規範的な RDF トリプルよりも一般化された RDF トリプルでこれを示す方が簡単なのはどのような点でしょうか?

4

1 に答える 1

7

これらの概念は、 RDFセマンティクス、特に含意ルールに関する付録で詳細に説明および定義されています。

このコンテキストでの完全性とは、含意規則による演繹閉包の計算による含意チェックの完全性を指します。

2 つの RDF グラフ (S と E) があり、S が論理的に E を含意すると仮定すると、S から E を常に導出できる場合、閉包は完了です。 RDF含意とRDFS含意: 一部のトリプルは論理的に含意されており、含意チェック戦略では実際には導出できません。また、「一般化された RDF」の概念がミックスに追加されると、戦略が完成することも示されています。

つまり、プロセスが完了していない理由は、単純に、トリプルの構文上の制限 (リテラルは主語になれず、空白ノードは述語になれない) により、真であるいくつかのことを導き出すことができないためです。論理的には適用されるはずの含意パターンの一部が適用されない原因となります。

例。次のグラフがあるとします。

:p rdfs:subPropertyOf _:b .
_:b rdfs:domain :C .
:a :p :x .

と のセマンティクスによりrdfs:subPropertyOf、rdfs:domainこのグラフは (RDFS セマンティクスの下で) 論理的に次のことを伴います。

:a rdf:type :C .

ただし、このトリプルは、セクション 9.2.1 で定義されている含意規則を適用しても含意されません。その理由は、中間結果の導出 (規則 rdfs7 による) が必要です:a _:b :xが、空白ノード_:bは ' のこの位置では許可されていません。通常のRDF。

元の質問に戻ると、一般化を許可し ない限り、おそらく含意規則が完全ではないため、「完全性[...]は一般化で示す方が簡単です」という言い回しはやや奇妙です。

于 2016-03-07T04:09:59.167 に答える