面向语义WEB的知识管理技术PDF电子书下载

第一章 导论 1

1.1 语义万维网与语义技术 1

1.2 本体与本体工程 4

1.3 基于本体的知识管理 6

1.4 本章小结 7

参考文献 7

第二章 本体语言与逻辑基础 9

2.1 本体语言 9

2.2 描述逻辑 10

2.2.1 描述逻辑ACC 10

2.2.2 描述逻辑SHOTN（D） 12

2.2.3 描述逻辑的命名规范 13

2.2.4 描述逻辑SROTQ 15

2.2.5 描述逻辑SHTQ 17

2.3 OWL的模型论语义 18

2.3.1 SROTQ的外延语义 18

2.3.2 通过一阶谓词逻辑定义SROTQ语义 22

2.4 OWL的推理问题 24

2.4.1 推理问题 24

2.4.2 计算复杂性 26

2.5 OWL的推理方法 27

2.5.1 基于表运算的方法 27

2.5.2 基于一阶逻辑转换的方法 30

2.5.3 基于结论推断的方法 30

2.5.4 基于一阶查询重写的方法 31

2.5.5 基于Datalog转换的方法 33

2.6 本章小结 34

参考文献 34

第三章 本体调试 37

3.1 基本概念 37

3.1.1 不一致性和不协调性 37

3.1.2 基于描述逻辑的本体调试基本概念 38

3.2 本体调试算法 41

3.3 本体调试的优化方法 45

3.3.1 基于模块化的优化算法 45

3.3.2 其他优化方法 46

3.4 本体调试算法相关研究 46

3.5 本体调试系统 48

3.6 本章小结 49

参考文献 49

第四章 本体演化 51

4.1 本体演化的定义及主要过程 51

4.1.1 变化表示 52

4.1.2 变化语义 53

4.1.3 变化传播 54

4.1.4 变化实施 54

4.1.5 变化生效 55

4.1.6 变化发现 55

4.2 基于描述逻辑的本体修正 56

4.2.1 本体修正与信念修正 57

4.2.2 基于描述逻辑的本体修正的定义 57

4.2.3 描述逻辑中的本体修正方法 60

4.3 本体演化的系统 66

4.4 本章小结 67

参考文献 67

第五章 本体融合 69

5.1 本体映射 69

5.1.1 元素层映射技术 70

5.1.2 结构层映射技术 71

5.2 本体映射的基本框架 72

5.3 本体映射的修复 74

5.3.1 本体映射的不一致性 74

5.3.2 本体映射的修复算子 75

5.3.3 本体映射的修复算法 76

5.4 本体映射及映射修复系统 78

5.5 本章小结 79

参考文献 79

第六章 本体的不一致性推理 83

6.1 本体的不一致性推理现状 83

6.2 基于选择函数的不一致容忍推理方法 85

6.2.1 形式化定义 85

6.2.2 选择函数 86

6.2.3 基于语法相关性的选择函数 87

6.3 基于最大一致子集的不一致容忍推理方法 89

6.4 基于四值逻辑的不一致容忍推理方法 93

6.5 本体的不一致推理系统 95

6.6 本章小结 96

参考文献 97

第七章 本体版本化 98

7.1 概述 98

7.2 基于时态逻辑的多版本本体逻辑系统 100

7.2.1 时态逻辑 100

7.2.2 版本空间 101

7.2.3 时态逻辑系统LTLm 101

7.2.4 LTLm作为查询语言 103

7.2.5 直接描述版本号 105

7.3 基于混合逻辑的多版本本体逻辑系统 106

7.3.1 混合逻辑 106

7.3.2 上版查询 107

7.3.3 变化分析 109

7.4 多版本本体管理系统MORE 110

7.4.1 MORE系统功能 110

7.4.2 TELL语言 111

7.4.3 ASK语言 115

7.4.4 回答语言 122

7.4.5 组合概念查询 124

7.4.6 混合逻辑查询 127

7.5 本章小结 129

参考文献 129

第八章 本体模块化 131

8.1 模块化的目标 131

8.1.1 提高数据查询和本体推理的可扩展性 131

8.1.2 提高演变和维护的可扩展性 132

8.1.3 降低设计的难度 132

8.1.4 提高可理解性 132

8.1.5 实现上下文相关和个性化 133

8.1.6 提高可重用性 133

8.2 模块化的策略 133

8.2.1 分离或重叠的模块 133

8.2.2 语义驱动的策略 134

8.2.3 结构驱动的策略 135

8.2.4 基于机器学习的策略 135

8.2.5 模块化的监察和调整 136

8.3 基于逻辑的模块定义和抽取方法 136

8.3.1 基于签名的模块 136

8.3.2 基于局部性的模块 138

8.3.3 维持辩解的模块 146

8.3.4 基于不可区分性的模块 156

8.4 本章小结 162

参考文献 163

第九章 基于本体的知识管理应用 165

9.1 本体与语义技术的应用 165

9.1.1 语义技术在生命科学与医学上的应用 165

9.1.2 语义技术在智能交通上的应用 166

9.2 一个本体管理的典型应用 167

9.3 本章小结 178

参考文献 178

附录 常用术语缩略词 179