RDF图是否精益？

我刚刚发现了a的定义，但我并不总是知道如何定义它，也不知道是否有人能向我解释这张图是否精巧

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

我认为这是精益

G2不瘦

我不知道XD

我不知道XD

提前感谢。

上的示例

例如，图形

ex:a ex:p\ux.
_：y ex:p_ux

不是瘦，而是瘦

ex:a ex:p\ux.
_：x ex:p\ux

他很瘦。地面图是倾斜的

在问题示例中，主语和宾语被翻转，而G1和G2则是“RDF1.1语义”示例

G1不是瘦的

您可以删除“X:foaf:knows\ux:Y”（或删除“Y:ex:p\ux”）——该三元组不添加任何新信息。我们从第一个三元组知道“X:foaf:knows ex:bob”，这就是第二个三元组所说的

图G3和G4是倾斜的

如果我们有G5:

\ux:foaf:knows\uux:Y

那么G5是精益的，但G3合并G5不是精益的

---

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

我将使用

定义 名称是任何IRI或文字

RDF图的（适当）子图是图中三元组的（适当）子集

假设M是从一组空白节点到某个集合的函数映射 文本、空白节点和虹膜。由图G得到的任何图 用G（n）替换G中的一些或全部空白节点是G.

的<强>实例< /强> 一个图的适当实例是一个实例，其中一个空白节点已被删除 替换为名称，或者图形中的两个空白节点已映射到 实例中的同一节点

如果一个RDF图没有一个适当的子图实例，那么它就是精益的 本身

下面是图G1：

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

这里是G2：

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

ex:a ex:p M(_:x)

权利要求1:

G1

是精益的 证明：

定义映射

M

：

• \:y->ex:a

那么

M（G1）

是：

ex:a ex:p _:x .

根据

M

的定义，这是

G1

的一个实例，显然是一个恰当的例子 G1的子集，因此也是一个合适的子图

权利要求2:

G2

是非精益的 证明：

我们必须证明，

G2

的任何实例映射都会生成一个不是图的图

G2的真子图。设
M
为任何此类映射。
M
必须将
\ux
映射到
某些东西（除了
\ux
）。然后，以下三元组将位于
M（G2）
：

此三元组不在
G2
中，因此此实例不是正确的
G2
的子图。因为没有映射可以创建
G2
的实例
另外，
G2
，
G2
的适当子图是精益。

备注如果精益的定义是：

An RDF graph is lean if it has no **proper** instance which is a proper subgraph of itself.

这将消除我脑海中关于
M
将
\ux
映射到另一个任意空白节点时的含义的任何疑问。这些定义使一切都正常工作，但对我来说，更强大的精益定义似乎更好。
只有一个三元组或没有匿名节点的图总是精益的-除非可以推断出三元组，否则任何东西都不能在不丢失信息的情况下删除。这将取决于您使用的推理机（如果有）。现在我明白了，非常感谢。
ex:a ex:p _:x .

ex:a ex:p M(_:x)

An RDF graph is lean if it has no **proper** instance which is a proper subgraph of itself.