- 1、本文档共17页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
西安邮电大学rotege使用 学生姓名 : 周从军 专业名称 : 网络工程 班 级 : 网络1101班 学号 : 时间 : 2014年11月20日 Web服务实验报告
本体构建、protege使用
一 、 实验目的
1.下载Protege,构建本体;
2.新建OWL本体,了解Protege软件下的标签。
二 、 实验内容
打开Protege软件,构建本体。在新建的Class类中构建一些关联,可进行查询。Protege知识支持本体的构建和推理。
3种OWL语言简介
OWL网络本体语言(外语全称:Web Ontology Language、外语缩写: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,描述逻辑)将可判定推理能力和较强表达能力作为首要目标,而忽略了对RDFS的兼容性。OWL DL包括了OWL语言的所有语言成分,但使用时必须符合一定的约束,受到一定的限制。OWL DL提供了描述逻辑的推理功能,描述逻辑是OWL的形式化基础。
OWL Full包含OWL的全部语言成分并取消了OWL DL中的限制,它将RDFS扩展为一个完备的本体语言,支持那些不需要可计算性保证(no computational guarantees)但需要最强表达能力和完全自由的RDFS用户[6]。在OWL Full中,一个类可以看成是个体的集合,也可以看成是一个个体。由于OWL Full取消了基数限制中对可传递性质的约束,因此不能保证可判定推理。
2.OWL本体的组成
a、类
OWL类的定义由两部分组成:引入或引用一个名称,以及一个限制列表。如下定义:
owl:Class rdf:ID=Person/
owl:Class rdf:ID=Male/
owl:Class rdf:ID=Man
?rdfs:subClassOf rdf:resource=#Person/
/owl:Class
owl:Class rdf:about=#Man/
?rdfs:subClassOf rdf:resource=#Male/
/owl:Class
定义了Person、Man、Male三个类,并且声明了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)
后两句也可表示为:Class(ex:Man?partial?ex:Person?ex:Male)?
b、个体
除了描述类,本体还要描述类的成员,也就是个体。在OWL DL和Lite中,个体和类是分离的集合,即一个资源不能同时是个体和类,但在Full中可以。
可用rdf:type为个体声明多个其所属的类:
owl:Thing rdf:ID=TOM/
?rdf:type rdf:resource=#Person/
?rdf:type rdf:resource=#Male/
/owl:Thing
抽象语法:Individual)ex:Tom type(ex:Person) type(ex:male))
c、属性
一个属性是一个二元关系,在OWL中有两个类型的属性:对象属性和数据类型属性,分别表示类的实例之间的关系和类的实例与文字之间的关系。对象属性用owl:ObjectProperty定义,用rdfs:domain和rdfs:range表示定义域与值域。以下定义了一个create属性,它的定义域是Person类,即只有Person类的实例才有这个属性。
owl:ObjectProperty rdf:ID=create
文档评论(0)