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 三元组更容易以哪种方式显示?
最佳答案
这些概念在 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 中的这个位置不允许。回到你最初的问题,我发现“完整性 [...] 更容易通过概括来显示”这句话有点奇怪,因为可以说蕴涵规则并不完整,除非你允许概括。
关于rdf - 广义 RDF 三元组如何更容易地显示 "the completeness of the RDFS entailment rules",这甚至意味着什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35834982/