Protege-OWL教程笔记

《Protege-OWL教程笔记》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、Protege-OWL教程笔记首先介绍了本体，本体是用来描述某个领域的知识的。本题描述了该领域内个概念和概念间的关系。不同的本体语言提供不同的特征。最新出现的本体语言是W3C推出的OWL。它有丰富的操作符，如and,or和negation。它基于的逻辑允许它能够定义概念或描述概念。复杂的概念能建立在简单的概念定义之上。而且，这个逻辑模型允许使用推理机检查本体中的statement和定义是否具有一致性，也能识别哪个概念符合哪个定义。推理机有助于维护层次结构。这在处理有多个父类的类时非常有用。然后介绍了OWL的三个子语言：OWL-Lite,OWL-D

2、L,OWL-Full。它们的表达能力由弱到强。OWL-Lite的语法最简单。OWL-DL比OWL-Lite的表达能力强，它基于描述逻辑，能够自动计算层次分类和检测到本体中的不一致。OWL-Full的表达能力最强，但是推理能力就相对较弱。接下来介绍了个体，属性，类三个概念。用了大量的图来帮助理解概念。1.个体用URI标识。2.类是个体的集合。类可以组成一个由父类和子类构成的层次结构图(也称为taxonomy)。类也称为概念(concept)。Protege-OWL使用了一个叫EnglishProseTooltipGenerator的工具来显示类的描

3、述信息。可以指明两个类是不相交(disjoint)的。3.属性是一个二元关系。它分为：函数属性(FunctionalProperty)——通过这个属性只能连接一个个体。hasBirthMother反函数属性(InverseFunctionalProperty)——即这个属性的反属性是函数属性，也就是对于一个给定的个体，只有最多一个个体能通过该属性连接那个个体。isBirthMotherOf传递属性(TransitiveProperty)——hasAncestor对称属性(SymmetricProperty)——hasSibling,如果一个属性是

4、对称的那么它就不能是函数属性。还可以将属性分为：对象属性(ObjectProperty)——连接两个个体。数据类型属性(DatatypeProperty)——连接个体和XMLSchema数据类型值或rdfliteral,该属性不能为传递的，对称的，反函数的。标注属性(AnnotationProperty)——用来对类，属性，个体和本体添加信息(元数据)。OWL-DL对标注属性作出了如下限制：(1)标注属性的filler只能为,literal或URI或个体。(2)标注属性没有子属性，也不能为其它属性的子属性，而且不能使用domain和range。然

5、后介绍了属性的Domain和Range的概念。Domain和Range可以是类或者(classexpression)类表达式。Protege-OWL现在只支持并操作构造的类表达式，只需要指定多个类就可以了。值得注意的是这里的概念和通常概念不一样，它们不是用来做限制的，而是用来做推理的。比如我们说hasTopping的Domain是Pizza，那么我们将属性hasTopping作用于IceCream那么就可以推出IceCream是一种Pizza。属性和类一样，可以有子属性。如isParentOf就是isAncestorOf的子属性。使用属性可以对类

6、进行描述和定义。这要通过对属性加以限制，这样就引入了PropertyRestriction,分为三类：1.量词限制(QuantifierRestriction)量词限制由三部分构成,分别为量词(quantifier)，属性和filler。量词分为存在量词(some,atleastone)和全称量词(only)，即OWL中的someValueForm和allValueFrom。注意全称量词也描述了那些不具备该属性的个体，全称量词并没有指明关系的存在，只是说如果关系存在那么它必须和特定的类的个体相关联。2.基数限制(CardinalityRestri

7、ction)MinimumCardinalityRestrictionMaximumCardinalityRestrictionCardinalityRestriction它们分别表示关系的数量至少，至多和恰好为某个给定的数。需要注意的是当属性的filler为相同的个体时将这几个相同的关系当作一个关系。3.取值限制(hasValueRestriction)它描述了一类个体的集合，这类个体的某个属性值的取值至少有一个为特定的个体。如hasCountryOfOriginhasValueItaly就表明源国家有一个是意大利。使用属性限制实际上描述了一个

8、匿名类。还介绍了推理机的使用。推理机的两个主要功能是subsumptiontesting和consistencychecking，前者是