-------------------------------------------------------
rdfs:subClassOf 描述
Wine PotableLiquid
--------------------------------------------------------
ObjectProperty 描述 wine hasWinDescriptor WineDescriptor
-------------------------------------------------------
DatatypeProperty 描述 VintageYear is 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 描述 允许对一个关系中的元素数目作出精确的限制
每瓶葡萄酒只有一个年度
-------------------------------------------------------
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是不相交的