rdf - 广义 RDF 三元组如何更容易地显示 "the completeness of the RDFS entailment rules"，这甚至意味着什么？

Question

W3C 推荐 RDF 1.1 概念和抽象语法 defines多么广义 RDF 三元组 是(即，一个非标准三元组，其中每个主语/谓语/宾语都可以是 IRI/bnode/文字)。

关于它的可能用途，它给出了这个例子:

It is sometimes convenient to loosen the requirements on RDF triples. For example, the completeness of the RDFS entailment rules is easier to show with a generalization of RDF triples.

“RDFS 蕴涵规则的完整性”是什么意思？ (在 W3C Recommendation RDF Schema 1.1 中搜索“完整”或“包含”不会给出任何结果。)

用广义 RDF 三元组比用规范 RDF 三元组更容易以哪种方式显示？

Answer 1

这些概念在 RDF Semantics 中有详细解释和定义。 ，特别是在 appendix about entailment rules .

在这种情况下，完整性是指通过蕴涵规则计算演绎闭包来进行蕴涵检查的完整性。

假设我们有两个 RDF 图(S 和 E)，并且 S 在逻辑上包含 E，那么如果它总能从 S 推导出 E，则闭包是完整的。 在我上面提到的附录中，表明情况并非总是如此RDF-entailment 和 RDFS-entailment:一些三元组是逻辑上包含的，实际上不能通过包含检查策略推导出来。还表明，如果将“广义 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 中的这个位置不允许。

回到你最初的问题，我发现“完整性 [...] 更容易通过概括来显示”这句话有点奇怪，因为可以说蕴涵规则并不完整，除非你允许概括。