W3C建议书RDF 1.1概念和抽象语法defines是广义RDF三元组(即，非标准的三元组，其中主语/谓语/宾语可以是IRI/bnode/文字)。
关于其可能的用法，它给出了以下示例:
“RDFS包含规则的完整性”是什么意思？ (在W3C建议书RDF Schema 1.1中搜索“完成”或“必须”不会产生任何结果。)
与通用RDF三元组相比，广义RDF三元组更容易以哪种方式显示？
最佳答案
这些概念在RDF Semantics中，特别是在appendix about entailment rules中进行了详细解释和定义。
在本文中，完整性是指通过蕴含规则计算演绎闭包来进行蕴涵检查的完整性。
假设我们有两个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中。回到您最初的问题，我发现措辞“通过泛化更易于显示完整性”，这有点奇怪，因为除非您允许泛化，否则包含规则可能不完整。daccess-ods.un.org daccess-ods.un.org
关于rdf - 广义RDF三元组如何更容易地显示 "the completeness of the RDFS entailment rules"，这甚至意味着什么？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/35834982/