- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Protege构建本体笔记.
Protégé构建本体
3种OWL语言
OWL可以分为三种子语言:OWL-Lite,OWL-DL,OWL-Full。子语言的特征是由它的描述能力来分类的。其中,OWL-Lite描述能力最弱,OWL-Full描述能力最强,OWL-DL的能力属于中间,同时,OWL-Full可以视为是OWL-DL的一个扩展。
OWL-Lite
在语法上,OWL-Lite是最简单的语言。一般用于只有一个简单的类层次和定义的约束比较简单的情况。比如,根据一个现有的百科全书建立的本体。
OWL-DL
OWL-DL是建立在描述逻辑基础上的的,描述能力比OWL-Lite强得多。描述逻辑是第一顺序逻辑的决定性部分,可以进行自动推理。因此,可以自动的计算分类层次,并且检查本体的一致性。
OWL-Full
OWL-Full的表达能力是最强的。OWL-Full可以适用于需要很强的表达能力的情况。
OWL本体的组成
OWL本体由个体、关联和类组成,三者分别和实例(Instances)、扩展连接点(Slot)、类(Classes)相通信。
个体(Individuals)
个体就是在领域中,我们所感兴趣的物体。Protégé和OWL之间有一个显著的区别,就是OWL没有独立名字假定(Unique Name Assumption, UNA)。这意味着两个不同的名字可以指向同一个个体。个体就是我们常说的实例,个体可以被理解为“类的实例”。
关联(Properties)
关联指的是两个个体之间的二元关系,比如,一个关联可以把两个个体连接在一起。
例:关联hasSibling,因为Matthew和Gemma是两兄弟,就可以通过hasSibling这个关系把Matthew和Gemma连在了一起,
关联也可以只有一个参数,如使某种功能化的关联,如transitive(传递)或symmetric(对称)。
在Protégé中,关联基本和扩展连接点(Slot)的意思是一致的。在描述逻辑中,扩展连接点是一个角色,在UML中是关系,也可以是指向其他物体的概念。在GRAIL(另一种本体语言)和其他的形式化语言中,也被称作属性。
类(Classes)
OWL类是一组包含了个体的集合。它是通过使用形式化的数学语言,精确描述类成员的特性。比如,类Cat包括了特定领域中所有包括“猫”的类。类由超类(superclass)和子类(subclass)的层次结构分类构成,也被称作taxonomy。子类是超类的细化,子类可以继承超类的性质,也就是说,超类的条件是形成子类的必要条件。同时超类-子类关系式OWL-DL的关键特性之一,这可以为推理机自动调用。
同时,概念(concept)一词也类中也时有出现,类是表述概念的基础。
建立一个OWL类,就是建立一个说明类的环境的描述,这个环境首先必须满足描述此类的一个个体成员的要求。
OWL本体的构建
建立类
一个类层次(class hierarchy)也被称之为一个分类法(taxonomy)。
不相交类(disjoint class)
不相交类的定义是,一个个体(或事物)不可能成为多个(1)类的实例。
子类(subclass)
建立关联(properties)
关联的作用是表示两个个体之间的关系。关联主要分为两种:事物关联(object properties)和数据类型关联(datatype properties)。
事物关联连接两个个体。数据类型关联连接一个个体和一个XML Schema 数据类型值(XML Schema Datatype value)或RDF描述(RDF literal)。OWL也有第三种关联,称为注释关联(Annotation properties),注释关联可以向类、个体或者事物/数据类型关联里添加信息(元数据)
逆关联(Inverse Properties)
每个事物关联都可能有一个逆关联。如果一个关联连接个体a和b,那么它的逆关联就将连接b和a。比如关联hasChild就是关联hasParent的逆关联
OWL关联的特征(OWL Property Characteristics)
功能性关联(Functional Properties)
具有某种特定功能的关联。最常见的是,通过一个关联,将两个个体连接在一起。
反向功能关联(Inverse Functional Properties)
传递关联(Transitive Properties)
若一个关联是传递的,那么如果关联P关联了a和b,且P也关联了b和c,那么,可以推知,P也可以关联a和c。
对称关联(Symmetric Properties)
若关联P是对称的,P关联了个体a和b,那么P同样可以关联a和b。
关联的定义域和值域
关联把个体从定义域连接到值域。例子……
在关联P中,把
您可能关注的文档
- LNG安全学习习题集..doc
- LP仓库管理基本要求..doc
- LOGO设计心得..docx
- Loadrunner之创建场景..doc
- LS-DYNA简介..doc
- LTC6802-2中文翻译..doc
- Lua小程序十六进制字符串和二进制数据间的转换..doc
- lumianguifan..doc
- l礼的涵义与特性..doc
- M9了解发电机安装程序..doc
- 两人合伙的协议书.docx
- 神经生物学:缺血性脑损伤及脑保护.ppt
- 气象学课件:第五章 大气中的水分.ppt
- 福建省宁德市古田县2023-2024学年六年级下学期期末语文试卷.docx
- 江苏省南通市崇川区2023-2024学年四年级下册期末数学试卷.docx
- 江苏省镇江市丹徒区2023-2024学年八年级下学期6月期末历史试题.docx
- 江苏省宿迁市宿豫区2023-2024学年八年级下学期期末语文试题.docx
- 四川省德阳市中江县2023-2024学年七年级下学期期末考试语文试题.docx
- 重庆市江津区2023—2024学年七年级下期期末质量监测语文试卷.docx
- 江苏省宿迁市宿豫区2023-2024学年八年级下学期6月期末历史试题.docx
文档评论(0)