本体逻辑差的研究

论文摘要

本体间的逻辑差问题在本体维护中占重要地位,对于本体工程师理解本体不同版本间表达含义上的差别有重要的帮助作用。这是一个新兴的研究领域。本文研究了本体间的逻辑差问题,重点讨论了以下3个方面:(1)ε(?)术语集间概念包含型逻辑差的分层:在改进的插值方法的基础上,我们提出最一般子概念、概念差等概念,在其上,给出算法对概念包含型逻辑差进行分层。对于这一方法,给出其在信念修正中的应用。(2)模糊ε(?)术语集间的逻辑差:在定义模糊ε(?)术语集间的逻辑差,给出各种预处理规则,在避免重新计算的情况下判断各种结论是否受到影响。(3)不同类型逻辑差间联系的分析:对于ε(?)术语集间概念包含型逻辑差和实例型逻辑差间的联系进行分析,尝试用后者来表达前者。对于DL_Lite本体间概念包含型逻辑差和询问型逻辑差间的联系进行分析,尝试得到后者的紧致性表示。未来的工作将在实现和理论两个方面进行。在系统的实现方面,尝试不同的优化算法,以获得系统的可扩展性和重用性。在理论上继续探讨不同类型的逻辑差间的联系,以及相互表达、紧致性表示问题。

论文目录

• 内容提要
• 摘要
• Abstract
• 第1章 绪论
• 1.1 产生背景
• 1.1.1 描述逻辑与本体
• 1.1.2 推理问题的演化
• 1.1.3 本体模块理论
• 1.1.4 本体的不确定性推理
• 1.2 已有研究
• 1.3 研究入手点
• 1.3.1 本体应用方面
• 1.3.2 理论研究方面
• 1.4 论文的组织
• 第2章 ε（?）术语集间逻辑差的分析及应用
• 2.1 引言
• 2.2 描述逻辑ε（?）
• 2.2.1 语言及推理问题
• 2.2.2 推理问题
• 2.3 ε（?）术语集间的逻辑差
• 2.3.1 本体间的逻辑差
• 2.3.2 ε（?）术语集间的逻辑差
• 2.4 对概念包含型逻辑差的分析
• 2.4.1 改进的插值方法
• 2.4.2 概念差
• 2.4.3 对逻辑差进行分层
• 2.4.4 实验结果
• 2.5 概念包含型逻辑差在信念修正中的应用
• 2.5.1 信念修正简介
• 2.5.2 应用概念包含型逻辑差
• 2.6 小结
• 第3章 模糊ε（?）术语集间的逻辑差
• 3.1 引言
• 3.2 模糊ε（?）描述逻辑
• 3.2.1 语言介绍
• 3.2.2 推理算法
• G-ε（?）术语集间的逻辑差'>3.3 模糊f_G-ε（?）术语集间的逻辑差
• 3.3.1 逻辑差的定义
• 3.3.2 求解策略
• 3.4 应用于本体的访问控制问题
• 3.5 小结
• 第4章 不同类型逻辑差间的联系
• 4.1 引言
• 4.2 ε（?）术语集间逻辑差研究
• 4.2.1 实例型逻辑差
• 4.2.2 实例型逻辑差的求法
• 4.2.3 对概念包含型逻辑差的表达
• Lite描述逻辑中的逻辑差'>4.3 DL_Lite描述逻辑中的逻辑差
• 4.3.1 背景知识
• Lite_bool逻辑差的求法与紧致表达'>4.3.2 DL_Lite_bool逻辑差的求法与紧致表达
• Lite_horn逻辑差的求法与表达'>4.3.3 DL_Lite_horn逻辑差的求法与表达
• 4.4 小结
• 第5章 结论与未来工作
• 5.1 结论
• 5.2 未来工作
• 参考文献
• 攻读博士学位期间发表的论文及参加的项目
• 致谢