rdf - 如何知道 RDF 图是否精益？

Question

我刚刚发现了 lean graph 的定义我并不总是知道如何定义它，也不知道是否有人可以向我解释这些图表是否精益。

G1 :
_:X foaf:knows ex:bob
_:X foaf:knows _:Y

I think this is lean !

G2:    
_:X foaf:knows ex:bob
_:X foaf:knows _:X

G2 isn't lean !

G3
_:X foaf:knows ex:bob

I don't know XD

G4
_:X foaf:knows _:X

And I don't know XD

提前致谢。

Answer 1

https://www.w3.org/TR/rdf11-mt/#dfn-lean 处的示例

For example, the graph

ex:a ex:p _:x .
_:y ex:p _:x .

is not lean, but

ex:a ex:p _:x .
_:x ex:p _:x .

is lean. Ground graphs are lean.

在问题示例中，主语和宾语被翻转，否则 G1 和 G2 是“RDF 1.1 语义”示例。

G1 不精益。

您可以删除“_:X foaf:knows _:Y”(或删除“_:y ex:p _:x”)——该三元组不添加任何新信息。我们从第一个三元组“_:X foaf:knows ex:bob”知道“_:X knows something”，这就是第二个三元组所说的全部内容。

图 G3 和 G4 是精益的。

如果我们有 G5:_:X foaf:knows _:Y 那么 G5 是精益的，但 G3 merge G5 不是精益的。

G2 是精简的，因为三元组“_:X foaf:knows _:X”添加了一些信息，即有一些资源知道自己。第一个三元组没有这么说。