containers - RDF 容器和集合之间的区别？

Question

我读过一本书

The difference between containers and collections lies in the fact that containers are always open (i.e., new members may be added through additional RDF statements) and collections may be closed.

我不太清楚这个区别。它表示不能将新成员添加到集合中。如果我更改最后一个 rdf:rest 的值会怎样属性(property)来自 rdf:nil至 _:xyz并添加

_:xyz rdf:first <ex:aaa> .
_:xyz rdf:rest rdf:nil .

这样我就可以添加一个新成员 _:xyz .为什么它说集合已关闭？

Answer 1

关键的区别在于，在容器中，您可以简单地继续添加新项目，只需断言新的 RDF 三元组。在集合中，您首先必须删除语句，然后才能添加新项目。

这是一个重要的区别，特别是对于 RDF 推理。这很重要，因为 RDF 推理采用了开放世界假设 (OWA)，简而言之，它指出，仅仅因为某个事实是未知的，并不意味着我们可以假设该事实是不真实的。

如果你把这个原则应用到一个容器上，你问“这个容器有多少元素”，答案一定是“我不知道”，因为没有办法确定可能有多少未知元素在容器中。然而，如果我们有一个集合，我们有最后一项的明确标记，所以我们可以肯定地说集合包含多少项 - 不能有未知的附加项。