广义RDF三元组如何更容易显示RDFS蕴涵规则的完整性,这甚至意味着什么?

时间:2016-03-07 01:51:28

标签: rdf rdfs triples

W3C推荐 RDF 1.1概念和抽象语法 defines 广义RDF三元组 是什么(即非标准三元组,其中每个主题/谓词/对象可以是IRI / bnode / literal。)

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

  

有时可以方便地放宽对RDF三元组的要求。例如,RDFS蕴涵规则的完整性更容易通过RDF三元组的推广来显示。

RDFS蕴涵规则的完整性是什么"意思? (在W3C建议RDF Schema 1.1中搜索"完成"或"需要"不会给出任何结果。)

使用广义RDF三元组比使用规范的RDF三元组更容易显示哪种方式?

1 个答案:

答案 0 :(得分:7)

RDF Semantics中详细解释和定义了这些概念,特别是appendix about entailment rules

在这种情况下,

完整性是指通过蕴涵规则计算演绎闭合来进行蕴涵检查的完整性。

假设我们有两个RDF图(S和E),并且S在逻辑上需要E,那么如果它总是从S得到E,则闭包完成。在上面提到的附录中,显示这并不总是RDF蕴涵和RDFS蕴涵的情况:逻辑上需要一些三元组,实际上并不是通过蕴含检查策略得出的。还表明,如果"概括的RDF"添加到混合中,策略 完成。

换句话说,过程未完成的原因很简单,由于三元组的语法限制(文字不能成为主语,空白节点可以&#39),因此无法推导出一些真实的东西。 ; t是谓词),这导致一些蕴涵模式不适用,即使逻辑上它们应该适用。

一个例子。假设我们有这个图:

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

由于rdfs:subPropertyOfrdfs:domain的语义,这个图在逻辑上需要(在RDFS语义下):

:a rdf:type :C .

但是,应用第9.2.1节中定义的蕴涵规则不会导致这个三元组 - 原因是它需要派生(通过规则rdfs7)中间结果:a _:b :x,但空白节点正常情况下_:b不允许进入这个位置。 RDF。

回到你原来的问题,我发现短语"完整性[...]更易于通过概括来展示"有点奇怪,可以说蕴涵规则 完成,除非允许进行概括。