本体知识库的封闭世界假设研究

摘要

随着计算机科学和逻辑学的发展，出现了以描述逻辑为基础的本体模型的概念和建立在此模型之上的本体知识库。知识库是在计算机科学中的数据库的启发下诞生的，目的是把海量的知识以数据信息的方式储存于其中，完成知识查询和知识推理的功能。知识推理是为了获取更多的知识，以便更好地完成查询的功能，具备推理功能也是知识库与普通数据库的根本不同之处。对本体知识库进行知识的推理扩展可以采用多种不同的方法和途径，是一个值得探讨的话题。考虑到知识扩展对于人类社会发展的重要性，提供知识扩展的方法和探讨知识库的知识推理过程无疑具有非常重要的意义。封闭世界假设作为谓词逻辑子句集进行增广完备的一种方法，也是完全可以引入本体知识库进行知识信息的增广完备的。本文将把封闭世界假设引入到本体知识库当中，通过实例演算，探讨知识增广的算法步骤和实际过程，探究其可行性，并揭示其重要意义。把封闭世界假设引入到本体知识库进行研究是一个全新的尝试，本文作为一个起点，实例规模不大，主要在数学演算层面进行描述，希望为日后该领域的研究与发展提供参考。

目录

文摘

英文文摘

致谢

1 绪论

1.1 知识描述

1.2 知识库

1.3 描述逻辑简介

1.4 研究目的

1.5 本文结构

2 描述逻辑与本体知识库

2.1 描述逻辑

2.1.1 描述逻辑的理论发展

2.1.2 描述逻辑的基本体系

2.1.3 描述语言

2.1.4 TBox介绍

2.1.5 ABox介绍

2.2 本体模型与本体知识库

2.2.1 本体

2.2.2 本体模型概念

2.2.3 本体模型的意义和本体知识库

3 封闭世界假设方法

3.1 产生背景

3.1.1 单调谓词逻辑与归结推理

3.1.2 非单调逻辑与两大实现原则

3.2 封闭世界假设

3.2.1 方法阐述

3.2.2 特点

3.2.3 使用范例

3.2.4 一致性讨论

3.2.5 特定谓词增广

3.3 改进的封闭世界假设

3.3.1 理论发展

3.3.2 GCWA简述

4 本体知识库环境下的封闭世界假设

4.1 范围约定

4.2 代换定义

4.3 增广一致性约束条件讨论

4.4 增广一致性约束条件的证明

4.5 特别说明

5 本体知识库的封闭世界假设增广方法

5.1 参考范例

5.2 两步法求解增广集

5.2.1 算法描述

5.2.2 实例求解

5.3 一步法求解增广集

5.3.1 算法描述

5.3.2 实例求解

5.4 方法比较

6 应用举例

6.1 问题描述

6.2 问题求解

7 结论

参考文献

作者简历

学位论文数据集