Protege教程——Property Domains and Ranges
其实就是一个属性的类型和范围，比如 int i；3<i<10 那么int就是i的domain，range就是3-10。
用英文来形象的表达就是：Properties link individuals from the domain to individuals from the range.
在我们这个Organization的例子中，我们拿hasInterest这个Property来说，它的domain就是Organization，它的Range就是Interest。
注意！Properties的domain，range和Properties的6大特性不一样，6大特性那是一种推理机制要用到的约束——Constraint，而domain，range是一种公理——axiom。什么意思？约束是用来限制的，可以用推理机制来验证，如果限制出了问题就会推理出错。而公理总是对的，推理要基于它们来推理。举个例子，hasTopping的domain我们定义为Pizza，如果在本体上，发现hasTopping连接到了icecream，那么是不会报错的，OWL会认为，icecream为Pizza的子类，这在W3C的文档上有详细的语义推理定义，见下面的公式。除非……你在构建本体的时候强行定义了，icecream和Pizza是相互Disjoint的，见3.5节。
if
T(?p, rdfs:domain, ?c1)
T(?c1, rdfs:subClassOf, ?c2)
then
T(?p, rdfs:domain, ?c2)
