https://www.w3.org/TR/rdf11-mt/#dfn-lean中的示例
例如,图
例如:a ex:p _:x。
_:y ex:p _:x。不瘦,但是
例如:a ex:p _:x。
_:x ex:p _:x。瘦。地面图是精益的。
在问题示例中,主题和宾语均被翻转,但是G1和G2则为“ RDF 1.1语义”示例。
G1不瘦。
您可以删除“ _:X foaf:knows _:Y”(或删除“ _:y ex:p _:x”)-该三元组不会添加任何新信息。我们从第一个三元组“ _:X foaf:knows ex:bob”知道“ _:X知道某事”,这就是第二个三元组所说的全部。
图G3和G4是瘦的。
如果我们有G5:_:X foaf:knows _:Y
那么G5是精益的,但G3合并的G5不是精益的。
G2是精益的,因为三元组“ _:X foaf:knows _:X”添加了一些信息,该资源知道自己。第一个三元组没有这么说。
现在我明白了,非常感谢。