本体理论与工程应用PDF电子书下载

第1章 本体基础 1

1.1 语义网概述 1

1.1.1 语义网的概念 1

1.1.2 语义网整体框架 3

1.2 本体的概念及类型 7

1.2.1 本体的概念 7

1.2.2 本体的类型 9

1.3 本体描述语言 13

1.3.1 RDF/RDFS 14

1.3.2 DAML＋OIL 16

1.3.3 OWL 16

1.3.4 OWL2 18

1.3.5 KIF 28

1.4 语义网规则语言 28

1.4.1 SWRL的架构 29

1.4.2 SWRL的原子 30

1.4.3 SWRL与OWL的关系 31

1.5 本体查询语言 32

1.5.1 SPARQL 32

1.5.2 SQWRL 35

1.5.3 DL查询 38

1.6 本章小结 38

第2章 本体建模 39

2.1 本体建模的一般原则 39

2.2 本体建模的一般过程 40

2.3 本体建模的主要方法 41

2.3.1 七步法 41

2.3.2 MCSC2O法 44

2.3.3 骨架法 45

2.3.4 九步法 45

2.3.5 企业建模法 46

2.3.6 METHONTOLOGOY法 47

2.3.7 KACTUS法 47

2.4 本体模型构建方法的改进 48

2.4.1 已有本体模型构建方法的分析 48

2.4.2 改进的“七步法” 48

2.5 本体建模主流工具 51

2.5.1 Protégé概述 52

2.5.2 Protégé的启动配置 53

2.5.3 Protégé的界面配置 56

2.5.4 Protégé本体的可视化插件 59

2.5.5 Protégé本体的SWRL规则插件 61

2.5.6 Protégé本体的查询器插件 64

2.6 本章小结 72

第3章 本体推理 73

3.1 本体推理应用背景 73

3.2 描述逻辑 75

3.2.1 描述逻辑的理论发展 76

3.2.2 描述逻辑的基本体系 76

3.2.3 TBox 77

3.2.4 ABox 79

3.3 语义假设 79

3.3.1 开放世界假设 80

3.3.2 封闭世界假设 81

3.4 本体推理的基本原理 81

3.5 本体推理典型任务 83

3.5.1 本体推理的背景 83

3.5.2 完全信息的推理 85

3.5.3 不完全信息的推理 87

3.6 本章小结 90

第4章 本体工程化 91

4.1 OWL本体中完整性约束 91

4.2 实体批量录入 93

4.2.1 本体维护方式的分析 93

4.2.2 批量创建类层次结构 94

4.2.3 批量创建对象属性层次结构 95

4.2.4 批量创建数据属性层次结构 95

4.2.5 电子表格到本体的映射 96

4.3 本体重构 101

4.3.1 实体重命名 102

4.3.2 公理的拆分与合并 105

4.3.3 公理的复制、移动与删除 105

4.3.4 本体的合并 106

4.4 本体导入 106

4.4.1 任务分解与团队协作 107

4.4.2 OWL 2提供的本体导入机制 108

4.4.3 采用Protégé Desktop导入本体 108

4.5 加速本体推理 109

4.5.1 影响本体推理速度的主要因素分析 109

4.5.2 Protégé加速本体推理的若干措施 110

4.6 本体二次开发 112

4.6.1 OWLAPI 113

4.6.2 SWRLRuleEngineAPI 117

4.6.3 SQWRLQueryAPI 118

4.7 本章小结 121

第5章 装甲分队战斗队形本体 122

5.1 装甲分队战斗队形概述 122

5.1.1 装甲分队战斗队形 122

5.1.2 装甲分队战斗队形变换实施 123

5.2 基于OWL的装甲分队战斗队形本体模型 124

5.2.1 创建OWL类层次结构 124

5.2.2 创建属性 125

5.2.3 定义战斗队形 127

5.2.4 创建个体 128

5.2.5 描述个体的约束 129

5.3 基于SWRL的装甲分队战斗队形变换实施 131

5.3.1 一路战斗队形到一字战斗队形变换规则 132

5.3.2 一字战斗队形到后三角队形变换规则 133

5.4 装甲分队战斗队形本体的推理 133

5.4.1 包含性检验 133

5.4.2 一致性检验 137

5.5 本章小结 141

第6章 装甲分队作战规则本体 142

6.1 装甲分队作战规则概述 142

6.2 装甲分队作战规则的描述 143

6.2.1 作战规则的基本结构 143

6.2.2 作战规则的主要要素 144

6.2.3 作战规则主要要素的分解 147

6.3 装甲分队作战规则的获取及典型实例 149

6.3.1 作战规则获取的一般原则 149

6.3.2 作战规则获取的主要方法 150

6.3.3 装甲分队作战规则典型实例 151

6.4 装甲分队作战规则本体模型的建立 153

6.4.1 创建OWL类层次结构 153

6.4.2 创建属性 154

6.4.3 创建个体 156

6.4.4 明确个体与属性的关系 157

6.4.5 基于SWRL的装甲分队作战规则 158

6.5 装甲分队作战规则本体的推理 162

6.6 本章小结 164

第7章 信息系统语义互操作本体 165

7.1 互操作的涵义 165

7.1.1 基本涵义 165

7.1.2 信息系统互操作的层次模型 166

7.1.3 仿真系统互操作 170

7.1.4 指挥控制系统互操作 171

7.1.5 指挥控制系统与作战仿真系统的互操作 172

7.2 指挥控制系统与作战仿真系统的异构性 175

7.2.1 术语体系 176

7.2.2 系统架构 177

7.2.3 信息交互模型 179

7.2.4 通信协议 181

7.2.5 数据库 182

7.2.6 小结 182

7.3 指挥控制系统与作战仿真系统语义互操作通用技术框架设计 183

7.3.1 语义互操作的要求 183

7.3.2 面向服务的架构（SOA）的语义互操作 185

7.3.3 指挥控制系统与作战仿真系统语义互操作的通用技术框架 187

7.4 作战任务领域本体模型 189

7.4.1 作战命令概述 189

7.4.2 采用映射方法创建作战任务领域本体模型 191

7.4.3 基于OWL的作战任务领域本体模型 192

7.5 装甲分队机动领域本体模型的建立 197

7.5.1 类层次结构 197

7.5.2 战斗队形本体 197

7.6 装甲分队机动领域本体的推理 199

7.6.1 任务次序的推理 200

7.6.2 编配装备的推理 203

7.6.3 战斗队形的推理 206

7.6.4 执行单位的推理 207

7.6.5 友邻关系的推理 209

7.7 本章小结 210

第8章 概率本体理论与工程应用 211

8.1 贝叶斯网络 211

8.2 多实体贝叶斯网络 212

8.3 概率本体 214

8.4 概率本体建模周期 216

8.4.1 模型需求的描述 216

8.4.2 模型的分析和设计 217

8.4.3 模型的实现 217

8.4.4 模型的测试 218

8.5 车辆识别多实体贝叶斯网络模型 219

8.5.1 建立模型结构 220

8.5.2 建立证据列表 221

8.5.3 建立车辆识别模型 223

8.5.4 进行模型测试 226

8.6 本章小结 227

附录1 SWRL常见问题解答 228

附录2 SQWRL语法及查询示例 240

附录3 典型本体示例（Manchester OWL语法格式） 249

参考文献 257