类和属性之间的等价与异同

关键字：
    * equivalentClass
    * equivalentProperty
    * sameAs：个体间的同一性
    * differentFrom
    * AllDifferent

1.等价类
   owl:equivalentClass被用来表示两个类有着完全相同的实例。
   一种更可能出现的情况是：我们依赖两个独立开发的本体，并注意到他们使用了O1:foo和O2:bar这两个URI引用相同的一个类。 这时我们就能够使用owl:equivalentClass将这两个类关联起来， 使得从这两个本体中继承的限制也得到合并。
示例：
 
  
 

   上例在食物本体中定义一个类(&food;Wine)，然后在葡萄酒本体中将一个已有的类声明为与这个类是等价的。

示例：

  
    
      
      
    
  
 

   TexasThings指的是那些恰好位于TexasRegion的事物。使用owl:equivalentClass 和使用rdfs:subClassOf 的不同就像必要条件和充要条件的不同一样。如果是使用subClassOf的话，位于TexasRegion的事物不一定是TexasThings。但 是，如果使用owl:equivalentClass，位于TexasRegion的事物一定属于TexasThings类。

2.sameAs
   两个个体声明成一致
示例：

   修饰（或引用）两个类用sameAs还是用equivalentClass效果是不同的。用sameAs的时候，把一个类解释为一个个体，就像在OWL Full中一样，这有利于对本体进行分类。

3.differentFrom
   这一机制提供了与sameAs相反的效果。
示例：


 

    

 

  
  


4.AllDifferent
示例：

  
    
    
    
  

   owl:distinctMembers属性声明只能和owl:AllDifferent属性声明一起结合使用。