-- 发布时间：9/2/2006 10:52:00 PM
-- owl dl 中property restriction和property axiom的区别？
我的理解是property axiom对这个property中的所有实例具有约束性，property restriction对声明了这个property restriction的class的所有实例具有约束性。比如：假设有class A,class B, objectProperty a
条件一：
<owl:ObjectProperty rdf:ID="a">
<rdfs:domain rdf:resource="#A"/>
<rdfs:range rdf:resource="#B"/>
</owl:ObjectProperty>
结论：对于所有的objectProperty a的实例，有且仅有domain为class A的实例，同时有且仅有range为class B的实例。
条件二：
<owl:Class rdf:about="#A">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#a" />
<owl:allValuesFrom rdf:resource="#B" />
</owl:Restriction>
</rdfs:subClassOf>
</owl:Class>
结论：对于所有的class A的实例，当property 为a时，a有range为class B的实例。但是对所有的property a的实例，domain or range 并不唯一。
这是我对以下这段话的理解，谢谢指正！
Note that, unlike any of the value constraints described in the section on class descriptions, rdfs:range restrictions are global. Value constraints such as owl:allValuesFrom are used in a class description and are only enforced on the property when applied to that class. In contrast, rdfs:range restrictions apply to the property irrespective of the class to which it is applied. Thus, rdfs:range should be used with care.(引自http://www.w3.org/TR/2004/REC-owl-ref-20040210)