学位论文 > 优秀研究生学位论文题录展示

语义网中基于描述逻辑的本体推理研究

作　者: 孙鹏
导　师: 欧阳丹彤
学　校: 吉林大学
专　业: 计算机软件与理论
关键词: 语义网本体本体推理描述逻辑概念分类优化技术 Tableau
分类号: TP18
类　型: 硕士论文
年　份: 2009年
下　载: 737次
引　用: 13次
阅　读: 论文下载

内容摘要

自从2000年Tim Berners-Lee提出了语义Web的理念和框架结构后,这个被称之为下一代网络的技术就受到了普遍的关注,在过去的近十年时间内,人们对相关层面的知识架构、表示、推理等都进行了深入的研究,并不断的引入相关领域的技术思想应用于语义Web的开发和实现。语义Web构建的核心技术之一是创建具有统一规范的领域本体,如何维护本体的正确性及有效的组织推理规则获取隐性信息是其中的主要工作,基于此点,本体推理研究在语义Web技术中具有重要意义。本文中对语义Web技术、本体构建和推理以及描述逻辑相关方法进行了深入的研究和探讨。以基于ALC的Tableau算法作为可满足性判定的基础,对TBox推理部分的概念分类算法,进行了优化,提出了改进算法ERXM。该算法使用显示定义、重构、基于个体的包含关系判定以及标识扩展等优化技术,降低概念分类算法中概念间包含关系的检测次数,从而提高求解效率。当本体中包含个体数量较多时,算法的效率提高明显。此外,我们以此算法作为TBox推理中的核心部分,设计并实现了一个基于描述逻辑的本体推理系统原型,用于对读入本体文件的正确性检测及指导用户推理查询。最后,对相关性能进行了检测和比对。

全文目录

提要  4-7
第1章绪论  7-11
  1.1 研究背景  7-8
  1.2 问题的提出  8-9
  1.3 本文的主要工作  9-11
第2章相关基础知识简介  11-24
  2.1 语义网相关技术  11-18
    2.1.1 语义Web 的概念及体系结构  11-13
    2.1.2 语义Web 的本体描述语言OWL  13-16
    2.1.3 本体论  16-18
  2.2 描述逻辑基础  18-24
    2.2.1 描述逻辑的概念综述  18
    2.2.2 描述逻辑的语言表示  18-20
    2.2.3 描述逻辑的体系结构  20-24
第3章本体推理中算法研究  24-36
  3.1 总体分析  24-26
  3.2 分类优化技术  26-31
    3.2.1 优化问题的提出  26
    3.2.2 分类优化算法研究  26-30
    3.2.3 改进的优化分类算法ERXM  30-31
  3.3 ABox 中查询推理研究  31-34
    3.3.1 涉及到的问题  31
    3.3.2 相关处理技术  31-33
    3.3.3 基于语义近似求解个体获取问题  33-34
    3.3.4 基于概念分类树的概念实现  34
  3.4 总结  34-36
第4章基于描述逻辑的推理系统的设计与实现  36-48
  4.1 问题归纳提出  36
  4.2 推理系统设计  36-38
    4.2.1 框架结构设计思想  36-38
    4.2.2 系统功能模块设计  38
  4.3 推理系统具体实现  38-46
    4.3.1 本体解析模块  38-39
    4.3.2 TBox 推理模块  39-44
    4.3.3 ABox 查询推理模块  44-46
  4.4 开发环境构建及界面显示  46-47
  4.5 小结  47-48
第5章用例测试及结果分析  48-50
第6章结束语  50-52
  6.1 相关工作总结  50
  6.2 进一步研究方向  50-52
参考文献  52-56
致谢  56-57
摘要  57-60
ABSTRACT  60-63

语义网中基于描述逻辑的本体推理研究

内容摘要

全文目录

相似论文