论文部分内容阅读
语义Web是当前一个研究热点,主要目标是辅助实现网络上web信息的语义化,便于计算机自动理解和处理网络资源。本体作为一种通用的知识表示模型,是语义Web最重要的一个基础,可以有效促进和规范网络上不同机器之间的信息交换,提高网络信息检索的准确性和智能性。本体一般通过本体说明语言进行具体表达,W3C建议的标准本体语言是OWL。如果只采用OWL限制子语言OWL-DL/Lite来描述,则本体就能支持描述逻辑(Descriptic Logic,DL)推理运用。DL的基本推理和概念分层计算技术,对领域本体的设计和维护管理具有重要作用。
本文在研究描述逻辑本体推理的基础上,围绕将DL推理应用到领域本体管理工具的这一主题,展开了较为深入的系统工作。论文的主要工作和成果如下:
1)深入研究和调研了目前DL推理机实现的主要算法、相关技术以及体系结构。本体概念分类作为推理机提供的一个重要功能,本文针对Pellet的本体概念分类算法,提出且实现了一种全局标记方法来实现优化。
2) 设计了结合了描述逻辑本体推理机的领域本体管理工具,该系统实现了可视化编辑功能,可以很方便地编辑指定的DL知识库中概念,角色、个体和断言归属关系。同时具有以下两个特点:a)能够融合应用DL推理机研究成果。b)能实现一种直接基于概念层次树结构的图形化编辑功能。