OWL集合运算

关键字：
   * intersectionOf
   * unionOf
   * complementOf

1.交运算intersectionOf

 
  
    
    
      
      
    
  
 

   WhiteWine恰好是类Wine与所有颜色是白色的事物的集合的交集。这就意味着如果某一事物是白色的并且是葡萄酒，那么它就是WhiteWine的实例。如果没有这样的定义我们只能知道白葡萄酒是葡萄酒酒并且是白色的，但是反过来就不是这样了。这是对个体进行分类的强有力工具。(请注意：'rdf:parseType="Collection"'是必需的语法元素。)

 
  
    
    
      
      
    
  
 

 
  
    
    
  
 

   WhiteBurgundy类恰好是白葡萄酒和Burgundies的交集。

2.交运算 unionOf
   交使用方法和intersectionOf极其类似
示例

  
    
    
  
 

3.补运算 complementOf
   complementOf结构从某个论域(domain of discourse)选出不属于某个类的所有个体。通常它将指向一个非常大的个体集合：
示例：
 
  
    
    
      
        
          
          
        
      
    
  
 

上面的例子定义了一个NonFrenchWine类，它是Wine类与所有不位于法国的事物的集合的交集。

4.枚举类 oneOf
   通过直接枚举类的成员的方法来描述类。
示例：
 
  
  
    
    
    
  
 

   例子定义了WineColor类，它的成员是White,Rose和Red这三个个体.

5.不相交类 disjointWith
   使用owl:disjointWith构造子可以表达一组类是不相交的。它保证了属于某一个类的个体不能同时又是另一个指定类的实例。

 
  
  
  
  
  
  
 

   Pasta与其它所有类是不相交的。例如，它并没有保证Meat和Fruit是不相交的