我读过一本书
容器和集合之间的区别在于,容器始终是打开的(即,可以通过附加的 RDF 语句添加新成员),而集合可以是关闭的。
我不太清楚这个区别。它表示不能将新成员添加到集合中。如果我改变最后一个的值怎么办rdf:rest
财产来自rdf:nil
to _:xyz
and add
_:xyz rdf:first <ex:aaa> .
_:xyz rdf:rest rdf:nil .
这样我就可以添加一个新成员_:xyz
。为什么它说集合已关闭?
关键区别在于,在容器中,您只需断言新的 RDF 三元组即可继续添加新项目。在集合中,您首先必须remove添加新项目之前的声明。
这是一个重要的区别,特别是对于 RDF 推理而言。这很重要,因为 RDF 推理采用开放世界假设 (OWA),简单地说,它指出仅仅因为某个事实未知,并不意味着我们可以假设该事实不真实。
如果你把这个原理应用到一个容器上,你问“容器里有多少物品”,答案一定是“我不知道”,因为没有办法确定有多少物品。unknown物品可能在容器中。但是,如果我们有一个集合,那么我们对最后一个项目有一个明确的标记,因此我们可以确定地说该集合包含多少个项目 - 不能有未知的附加项目。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)