Protege-OWL教程笔记.docVIP

Protege-OWL教程笔记 接下来介绍了个体，属性，类三个概念。用了大量的图来帮助理解概念。 1.个体用URI标识。 2.类是个体的集合。类可以组成一个由父类和子类构成的层次结构图(也称为taxonomy)。类也称为概念(concept)。 Protege-OWL使用了一个叫English Prose Tooltip Generator的工具来显示类的描述信息。可以指明两个类是不相交(disjoint)的。 3.属性是一个二元关系。它分为： 函数属性(Functional Property)——通过这个属性只能连接一个个体。hasBirthMother 反函数属性(Inverse Functional Property)——即这个属性的反属性是函数属性，也就是对于一个给定的个体，只有最多一个个体能通过该属性连接那个个体。isBirthMotherOf 传递属性(Transitive Property)——hasAncestor 对称属性(Symmetric Property)——hasSibling,如果一个属性是对称的那么它就不能是函数属性。 还可以将属性分为： 对象属性(Object Property)——连接两个个体。 数据类型属性(Datatype Property)——连接个体和XML Schema数据类型值或rdf literal,该属性不能为传递的，对称的，反函数的。 标注属性 (Annotation Property)——用来对类，属性，个体和本体添加信息(元数据)。OWL-DL对标注属性作出了如下限制：(1)标注属性的filler只能为,literal或URI或个体。(2)标注属性没有子属性，也不能为其它属性的子属性，而且不能使用domain和range。 然后介绍了属性的Domain和Range的概念。Domain和Range可以是类或者(class expression)类表达式。Protege-OWL现在只支持并操作构造的类表达式，只需要指定多个类就可以了。值得注意的是这里的概念和通常概念不一样，它们不是用来做限制的，而是用来做推理的。比如我们说hasTopping的Domain是Pizza，那么我们将属性hasTopping作用于IceCream那么就可以推出IceCream是一种Pizza。 属性和类一样，可以有子属性。如isParentOf就是isAncestorOf的子属性。 使用属性可以对类进行描述和定义。这要通过对属性加以限制，这样就引入了Property Restriction,分为三类： 1.量词限制(Quantifier Restriction) 量词限制由三部分构成,分别为量词(quantifier)，属性和filler。量词分为存在量词(some,at least one)和全称量词(only)，即OWL中的someValueForm和allValueFrom。注意全称量词也描述了那些不具备该属性的个体，全称量词并没有指明关系的存在，只是说如果关系存在那么它必须和特定的类的个体相关联。 2.基数限制(Cardinality Restriction) Minimum Cardinality Restriction Maximum Cardinality Restriction Cardinality Restriction 它们分别表示关系的数量至少，至多和恰好为某个给定的数。需要注意的是当属性的filler为相同的个体时将这几个相同的关系当作一个关系。 3.取值限制(hasValue Restriction) 它描述了一类个体的集合，这类个体的某个属性值的取值至少有一个为特定的个体。 如hasCountryOfOrigin hasValue Italy就表明源国家有一个是意大利。 使用属性限制实际上描述了一个匿名类。 还介绍了推理机的使用。推理机的两个主要功能是subsumption testing和consistency checking，前者是发现本体中的类之间的subclass/superclass关系，后者是检查一致性，也就是该类能否有实例。Protege-OWL和推理机RACER通过DIG(Description Logic Implementers Group)接口交互。 然后介绍了充分条件和必要条件。必要条件用来描述类，而充分必要条件用来定义类。只有必要条件的类称为原始类(Primitive Class)，至少有一个充分必要条件的类称为已定义类(Defined Class)。前者也被称为partial class而后者相应为complete class。这个对于subsumption testing非常重要，比如我们知道属于类B的所有个体都满足某些条件，而这些条件