protege中Property Domains and Ranges理解

看tutorial时对这个Property Domains and Ranges感觉总是有点难以理解，反复看文档的解释

Properties link individuals from the domain to individuals from the range. For example, in our pizza ontology, the property hasTopping would probably link individuals belonging the the class Pizza to individuals belonging to the class of PizzaTopping. In this case the domain of the hasTopping property is Pizza and the range is PizzaTopping

螃哈哈一只对其理解：

其实就是一个属性的类型和范围，比如 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的子类，

自己在想属性链接的话，如ice hasTopping MEATTOPPING 即什么东西的顶层是什么 ，那么前面是值域，如上面的值域是pizza，范围必须是定义的pizzatopping了

转载于:https://www.cnblogs.com/zhxiaomiao/archive/2009/02/24/1397379.html