owl：allValuesFrom和rdfs：范围差异

Question

我正在研究语义网，我想知道：写一个限制的语义是否有任何区别：

:Person
  a owl:Class ;
  rdfs:subClassOf
    [ a owl:Restriction ;
      owl:onProperty :hasParent ;
      owl:allValuesFrom :Person
   ] .

并编写范围限制，如：

:hasParent rdfs:range :Person.

在我看来，它意味着相同：父母必须有一种人。 没有任何区别吗？

Answer 1

第一个片段意味着a :Person拥有父母的人必须具有:Person -parent。 但是，a :Dog可能有父母不是:Person ，例如。 第二个片段说任何拥有父母的人都必须拥有:Person -parent，无论这是什么东西。

在krajol的评论之后编辑：

第一个代码段的allValuesFrom限制不等同于：

:hasParent  rdfs:domain  :Person;
            rdfs:range   :Person .

在allValuesFrom限制的情况下，仍然可能有父母不是人。 对于rdfs:domain / rdfs:range组合，它是不可能的。 有了allValuesFrom限制，可以说人有父母，狗有狗父母等。有域/范围，你不能。

Answer 2

还有另一个值得注意的区别。 当类上有多个rdfs：range（或rdfs：domain）三元组时，范围或域是所述范围/域的连接 （交集）。 请参阅RDFS规范 ，虽然措辞含糊不清， 这篇文章 。

如果在本体上执行推理，您将发现rdfs：range / domain三元组是针对所述范围/域类的所有超类推断的。 虽然在语义上是正确的，但这可能会令人困惑或难以使用。 allValuesFrom不会发生这种情况。

Answer 3

（添加已经回答的问题的答案，因为我发现接受的答案的本质缺乏。）

[ a owl:Restriction ;
    owl:onProperty :hasParent ;
    owl:allValuesFrom :Person
]

可以读作“ hasParent谓词的任何值（可能没有）属于Person类型的所有事物的类”。

通过说Person是这个类的子类，我们说它是这个类的一个更专业的版本。 因此， Person仍然只能将其他Person作为hasParent值。

这与rdfs:range不同，因为我们没有声明hasParent本身的有效域/范围。 为了回收Antoine的例子 ，我们仍然可以说：

:dog1 a :Dog.
:dog2 a :Dog.
:dog1 :hasParent :dog2.