我们可以在两个谓词之间使用owl:SameAs吗？

Question

使用<DC:title> <owl:SameAs> <NS:title>和有什么区别<DC:title> <owl:equivalentProperty> <NS:title>

这里NS是一些命名空间.

Answer 1

owl:sameAs适用于个人,owl:equivalentProperty适用于RDFS/OWL属性,owl:equivalentClass适用于RDFS/OWL类.

我想你是在陈述这些属性之间的等价,以便你可以推断

:individual1 ns:title "The Title".

从现有的声明

:individual1 dc:title "The Title".

或相反亦然.我没有试过这个,但我认为基于DL的OWL推理器(即大多数OWL推理器)只会在使用时进行适当的推理owl:equivalentProperty.另一方面,如果你想推断

:individual2 dc:title "The Title".

从现有的声明

:individual1 dc:title "The Title".

那么你应该使用一个owl:sameAs陈述来联系这两个人.

Answer 2

两个区别:

首先,一些OWL reasoners会反对owl:sameAs属性,或者只是忽略它.他们在个人和类/财产之间保持着很强的区别.

其次(这是更重要的)等价(like owl:equivalentProperty)与identity(owl:sameAs)不同.后者说我们正在处理一个具有不同名称的东西,而前者说有两个具有相同扩展名的东西(即,在相同的东西之间保持).

如果不清楚这是一个例子:

# My book has ns:title "My book"
:book ns:title "My book" .

# My title property is defined in my vocabulary document
ns:title rdfs:isDefinedBy <http://example.com/my-vocab> .

使用owl:sameAs我的书也有dc:title"我的书",dc:title并由我的词汇文档定义.哎呀,DC可能不高兴.

随着owl:equivalentProperty我的书也有dc:title"我的书"(伟大的),但它并不意味着dc:title是由词汇文件(唷)定义.