- 1、本文档共114页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
本体的继承及构造方法研究
摘 要
本体(Ontology)原本是一个哲学概念,后来计算机工作者将本体概念应用
到计算机领域,并赋予其崭新的意义。在计算机科学中,本体是领域概念模型
的显式表示。它能很好地表达对象之间的复杂关系,因而本体在软件开发方法
学、计算语言学、信息检索和集成、虚拟企业以及软件需求获取与需求工程等
方面得到广泛应用。由于建立本体非常困难,质量难以保证,因此人们试图通
过继承来复用本体。但本体的继承理论是目前尚未解决的重要问题。本文通过
扩展继承的数学理论,系统研究了本体的继承语义、继承机制、本体的构造方
法以及本体的演化等问题。探讨了对象继承与本体继承之间的关系,重点研究
带例外的本体多继承理论。创造性工作包括以下几个方面:
1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一
个重要基础理论。该理论己被广泛引用。但使用该理论描述允许例外的类/
属性继承系统会出现假冲突。本文发现并定义了假冲突,扩展了原理论的
单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不
因假冲突而产生二义。从而解决了假冲突的问题。
2)证明原继承系统中的大部分重要定理(定理7.J、j.2、j.j、j.5、3.6,3.7,
j.s和推论j.』)在扩展后的继承系统中仍然成立,并且提出了新的定理(定
理3.4、3.9,3.10,土J』和推论3.2)。
3)将本体(D,只U
11,H)转换为三元组(FE,)的表示形式,证明这种转
换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继
承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体
的包含断言的判定是完各的。
4)设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的
一致性。
5)提出了关系模式和关系参数的4种继承性质的思想,从而解决了关系在本
体继承中产生变化的问题。
6)在利用领域本体知识库poxs)eF已有领域本体构造新的领域模型或领域
本体后,知识工程师需要检查新领域本体以确保其符合规则前提。本文研
究了使用约束条件让计算机自动解决这个问题的方法,减少了知识工程师
的工作量,并加快了知识的重用过程。
7)迄今为止尚无一种可简便高质地建立本体的工程化方法,这严重阻碍了本
III
体应用研究的发展。本文提出建立本体的办作一挖掘方法,HfJ领域专家、
再通过挖掘所建立的RDFDB,建立”J
OWL描述的术体。在原型系统中,
应用该方法建立了关于计算机软硬件信息的领域小体。
关键词: 本体,继承网络,继承系统,继承理论,,一致性,约束条件
术体生存期,小体建立,卧作,挖掘,RDFDB
IV
Mechanismand
on Inheritance
TheResearch
Ontology
Methods
Constructing
Ontology
MING
Zhong
of Science,Sun物t-sanUniversity)
Computer
(Department
Directed LIShi-xian
byPr田issor
Abstract
文档评论(0)