本体构建Protege使用

1、本体构建、protg使用Web服务课内实验报告书院 系 名 称 ：实 验 题 目 ：本体构建、Protege使用周从军学 生 姓 名 ：专 业 名 称 ： 班04112016班学时级 ：号 ：间 ：2014 年 11月 20日1本体构建、protg使用Web服务实验报告本体构建、protege 使用一 、 实验目的1.下载Protege，构建本体；2.新建OWL本体，了解Protege软件下的标签。二 、 实验内容打开ProtegeClass查询。Protege知识支持本体的构建和推理。1. 3种OWL语言简介OWL网络本体语言（外语全称：Web Ontology Language、外语缩写：

2、OWL）W3C开发的一种网络本体语言，用于对本体进行语义描述。OWL是由子语言构建的，分别是OWL Lite、OWL DL和OWL Full，而且各子语言的表达能力递增。OWL Lite是表达能力最弱的子语言。它是OWL DL的一个子集，但是通过降低OWL DL中的公理约束，保证了迅速高效的推理。它支持基数约束，但基数值只能为0或l。因为OWL Lite表达能力较弱，为其开发支持工具要比其他两个子语言容易一些。OWL Lite用于提供给那些仅需要一个分类层次和简单约束的用户6,7。OWL DL（Description Logic，描述逻辑）将可判定推理能力和较强表达能力作为首要目标，而忽略了对

3、RDFS的兼容性。OWLDL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，受到一定的限制。OWL DL提供了描述逻辑的推理功能，描述逻辑是OWL的形式化基础。OWL Full包含OWL的全部语言成分并取消了OWL DL中的限制，它将RDFScomputationalguarantees）但需要最强表达能力和完全自由的RDFS用户6。在OWLFull中，一个类可以看成是个体的集合，也可以看成是一个个体。由于OWL Full取消了基数限制中对可传递性质的约束，因此不能保证可判定推理。2.OWL本体的组成a、类2本体构建、protg使用OWL如下定义：定义了Person、Man、Mal

4、e三个类，并且声明了Man是Person和Male的子类。用抽象语法表示为(Class表示定义一个类，且前者是后者的子类。OWL所有个体都是类owl:thing的成员，定义空类用的是owl:Nothing)：Class(ex:Person partial owl:Thing)Class(ex:Male partial owl:Thing)Class(ex:Man partial owl:Thing)subClassOf(ex:Man ex:Person)subClassOf(ex:Man ex:Male) partial ex:Person ex:Male)b、个体除了描述类，本体还要描述类的

5、成员，也就是个体。在OWL DL和Lite中，个体和类是分离的集合，即一个资源不能同时是个体和类，但在Full中可以。可用rdf:type为个体声明多个其所属的类：3本体构建、protg使用抽象语法：Individual)ex:Tom type(ex:Person) type(ex:male)c、属性一个属性是一个二元关系，在OWL中有两个类型的属性：对象属性和数据类型属性，分别表示类的实例之间的关系和类的实例与文字之间的关系。对象属性用owl:ObjectPropertyrdfs:domain和rdfs:range表示定义域与值域。以下定义了一个create属性，它的定义域是Person类，

6、即只有Person类的实例才有这个属性。可以将一个属性定义为某个已有属性的子属性，如定义一个create的子属性createBook，限定该属性值只能是Book类的实例。属性的使用，下例可以推断出DiaryOfTom一定是一本书，即Book类的实例，因为createBook属性的值域是Book。数据类型属性和对象类型的区别在于其值域只能是数据类型。OWL使用的大部分XMLSchema定义的数据类型。3、复杂类OWL提供了一些类构造子用于创建复杂类，如基本的集合操作，即并owl:unionOf、交owl:intersectionOf、补owl:complementOf。还有owl:oneOf构造

7、子枚举类的所有实例来定义一个类，还有声明多个类不相交的owl:disjionWith。a、集合运算，用交运算作例4本体构建、protg使用b、枚举类c、匿名类OWL通过owl:Restriction定义匿名类，所谓匿名类是通过对其应用的属性约束义的，对应于描述逻辑中通过存在约束、全称约束和关系的基数约束等构造子的概念。d、复杂类实现多层嵌套的复杂类定义。4、属性的特性和约束正如描述逻辑中的关系可以有可传递、函数和逆关系等特性，OWL属性也可以对其特性进行详细的声明。还可以对属性取值的基数约束。三 、 设计与实现过程1.下载下载地址：/download/protege/4.3/installanywhere/Web_Installers/5本体构建、protg使用6本体构建、protg使用7本体构建、prot