OWL 实例描述

-------------------------------------------------------
rdfs:subClassOf 描述

 
  
   wine
   vin
 

Wine PotableLiquid
--------------------------------------------------------
ObjectProperty   描述 wine hasWinDescriptor WineDescriptor

 
  
  
 


-------------------------------------------------------
DatatypeProperty 描述 VintageYear is 1998

 
       
   
 

 
 
    1998
 

 
   
   
   
 

Vintage has VintageYear that is 1998 ------ 葡萄酒的年份是1998 或 1998的葡萄酒

--------------------------------------------------------
个体(individual) 描述

 
  
 

 

CabernetSauvignonGrape is WineGrape ---- 赤霞珠葡萄树

----------------------属性特性------------------------
TransitiveProperty 描述
SymmetricProperty  描述


  
  
  


 
 
 

--------------------------------------------
FunctionalProperty   描述 一个给定的 Vintage个体只能使用hasVintageYear属性与单独一个年份相关联

 
 
  
  
  
 

---------------------------------------------
 inverseOf  描述 各种葡萄酒都有制造商

 
  
 
  
 
  
 

---------------------------------------------
 InverseFunctionalProperty 

 
 
  
  
 

 owl:InverseFunctional意味着属性的值域中的元素为定义域中的每个元素提供了一个唯一的标识


 ---属性限制------
 -------------------------
 allValuesFrom   描述 Wine的制造商必须是Winery。
 owl:someValuesFrom替换owl:allValuesFrom,那就意味着至少有一个Wine类实例的hasMaker属性是指向一个Winery类的个体的。

 
  
   ...
  
    
      
      
    

  

  
   ...
 

 -------------------------------------------------------
 owl:cardinality  描述  允许对一个关系中的元素数目作出精确的限制

 
  
    
      
       1
    

  

 

 每瓶葡萄酒只有一个年度

 -------------------------------------------------------
 hasValue  描述 一个个体只要至少有“一个”属性值等于hasValue的资源,这一个体就是该类的成员。

 
   ...
  
    
      
      
    

  

 

 所有的Burgundy酒都是干(dry)的酒。也即,它们的hasSugar属性必须至少有一个是值等于Dry(干的)

------------------------------------------------------
 本体映射
 类和属性之间的等价关系--equivalentClass, equivalentProperty

 
  
    
      
      
    

  

 

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

------------------------------------------------------
个体间的同一性 -sameAs

 
 

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

-----------------------------------------------------
 不同的个体
------------------------------------------------------
differentFrom

 
 
 
    
 

 
 
  
  
 

 ---------------------------------------------------
AllDifferent

 
  
    
    
    
  

 

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

 -----------------------------------------------------
 intersectionOf

 
  
    
    
      
      
    

  

 

 WhiteWine恰好是类Wine与所有颜色是白色的事物的集合的交集

 -----------------------------------------------------
 unionOf

 
  
    
    
  

 

 ------------------------------------------------------
 complementOf 从某个论域(domain of discourse)选出不属于某个类的所有个体

 
  
    
    
    
      
        
          
          
        

      

    

  

 

 -----------------------------------------------------------
 oneOf  枚举

 
  
  
    
    
    
  

 

 有效的个体声明

 -----------------------------------------------------------
 disjointWith  不相交类  保证了属于某一个类的个体不能同时又是另一个指定类的实例

 
  
  
  
  
  
  
 

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

你可能感兴趣的:(其它)