摘要
Abstract
第1章 绪论
1.1 研究背景和研究意义
1.1.1 研究背景
1.1.2 研究意义
1.2 国内外研究现状
1.2.1 国外研究现状
1.2.2 国内研究现状
1.3 研究内容及论文创新点
1.3.1 本文研究的主要内容
1.3.2 论文的创新点
1.4 论文的结构
第2章 描述逻辑、形式概念分析、本体构建知识
2.1 描述逻辑
2.1.1 描述逻辑的体系结构
2.1.2 基本描述语言
2.1.3 术语公理TBox
2.1.4 断言事实ABox
2.2 形式概念分析
2.2.1 形式概念、属性蕴涵基本知识
2.2.2 字典序的基本知识和结论
2.2.3 蕴涵伪壳的基本知识和结论
2.2.4 概念格和Hasse图的基本知识
2.3 语义Web及本体
2.3.1 语义Web
2.3.2 本体构建
第3章 属性探索算法研究
3.1 Franz Baader等人提出的属性探索算法研究
3.1.1 Franz Baader等人提出的属性探索算法的设置
3.1.2 利用Franz Baader等人提出的属性探索算法计算实例
3.1.3 出现冗余计算情形
3.2 改进的属性探索算法(Ⅰ)及实例
3.2.1 改进的属性探索算法(Ⅰ)
3.2.2 属性探索算法(Ⅰ)的完备性证明
3.2.3 改进的属性探索算法(Ⅰ)实例
3.2.4 避免冗余情形的讨论
3.3 改进的属性探索算法(Ⅱ)及实例
3.3.1 提出改进的属性探索算法(Ⅱ)的理论依据
3.3.2 改进的属性探索算法(Ⅱ)
3.3.3 改进的属性探索算法(Ⅱ)的实例
3.4 三种属性探索算法的比较分析
第4章 基于描述逻辑的属性探索算法的本体构建
4.1 基于描述逻辑的属性探索算法本体构建的思路
4.2 基于描述逻辑的属性探索算法的本体构建方法(AEOCM)的模型
4.2.1 预处理模块
4.2.2 属性探索模块
4.2.3 转化概念格模块
4.2.4 本体构建模块
4.3 基于描述逻辑的属性探索算法的本体构建方法的讨论
第5章 基于描述逻辑的属性探索算法构建本体实现及实例
5.1 预处理模块的实现
5.2 属性探索模块的实现
5.3 转化概念格模块的实现
5.3.1 计算形式概念
5.3.2 计算直接子结点,生成概念格
5.4 本体构建模块的实现
5.4.1 类的构建
5.4.2 个体的构建
5.4.3 手工调整本体
5.4.4 两个正方形的位置关系OWL本体代码
5.5 小结
第6章 总结与展望
6.1 目前工作的总结
6.2 下一步的改进方向和工作
参考文献
攻读硕士学位期间发表的论文
致谢