semantics - owl:allValuesFrom 和 rdfs:range 的区别

Question

我正在研究语义网，我想知道:编写如下限制的语义有什么区别:

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

并编写一个范围限制，例如:

:hasParent rdfs:range :Person.

在我看来，这意味着相同的: parent 必须有一种类型的人。没有什么区别吗？

Answer 1

第一个片段意味着有父级的 :Person 必然有一个 :Person-parent。然而，例如，:Dog 的父级可能不是 :Person。第二个片段表示任何有父级的东西都必然有 :Person-parent，无论这个东西是什么。

在 krajol 评论后编辑:

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

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

在 allValuesFrom 限制的情况下，仍然有可能存在非人的 parent 。对于 rdfs:domain/rdfs:range 组合，这是不可能的。有了 allValuesFrom 限制，就可以说人有人 parent ，狗有狗 parent 等等。但有了域/范围，就不能了。