第1章 绪论 1
1.1 引言 1
1.2 国内外研究现状 2
1.3 主要研究内容 11
第2章 本体论概述及上层本体 13
2.1 本体概念内涵 13
2.2 本体建模基元 15
2.3 本体形式化定义 16
2.4 本体类别 17
2.5 本体构建 19
2.5.1 本体构建原则 19
2.5.2 本体建模方法 19
2.5.3 本体建模工具 20
2.6 本体描述语言 22
2.7 上层本体 24
2.7.1 本体层级及上层本体 24
2.7.2 DOLCE本体 27
2.7.3 GOL本体 28
第3章 信息模型的本体基础 32
3.1 连续物与持续物 32
3.2 部分-整体关系 33
3.2.1 形式化部分-整体理论 33
3.2.2 部分-整体理论用于概念建模的问题 37
3.2.3 有机整体 39
3.2.4 部分-整体关系中的次要特性 41
3.3 本体论基本范畴 43
3.3.1 集合与本元 43
3.3.2 契机 45
3.3.3 实体 46
3.3.4 共相 47
3.4 面向动态建模的语义扩展 49
第4章 装备保障本体建模框架 51
4.1 装备保障系统组成要素分析 51
4.1.1 功能要素 52
4.1.2 资源要素 53
4.1.3 组织要素 54
4.2 实体类概念本体建模框架 55
4.2.1 本体元特性 55
4.2.2 实体概念基础类别体系 59
4.2.3 装备保障领域实体概念本体建模 61
4.3 契机类概念本体建模框架 63
4.3.1 特征、特征值、特征维和特征域 63
4.3.2 RMS参数的本体建模 67
4.3.3 关系与关系子 69
4.3.4 保障功能本体建模 73
4.4 连续物概念本体建模框架 74
4.5 部分-整体关系扩展分类结构 77
第5章 基于装备保障领域本体的领域特定建模语言 81
5.1 UML元模型与扩展机制 81
5.2 建模语言评价标准 82
5.3 基于形式化本体的UML重构 85
5.3.1 类与泛化的重构 85
5.3.2 类元与特性的重构 89
5.3.3 部分-整体关系的重构 91
5.4 基于本体的Erikson-Penker扩展模型 93
第6章 装备保障领域本体形式化规约及检验方法 97
6.1 形式化规约语言 97
6.1.1 描述逻辑的体系结构 97
6.1.2 描述逻辑的推理 97
6.2 描述逻辑及其SHOIN（D）子系统 98
6.2.1 描述逻辑SHOIN（D）系统语法语义 98
6.2.2 描述逻辑SHOIN（D）知识库 100
6.2.3 描述逻辑SHOIN（D）的推理 100
6.2.4 SHOIN（D）知识库与OWL DL本体的转换规则 103
6.3 装备保障领域本体描述逻辑转换算法 105
6.3.1 类的转换方法 106
6.3.2 一般关联关系的转换方法 106
6.3.3 弱聚合关系的转换方法 107
6.3.4 强聚合关系的转换方法 107
6.3.5 继承关系的转换方法 108
6.3.6 约束条件的转换方法 108
6.4 本体转换算法正确性证明 109
6.5 形式化检验方法 113
第7章 案例分析与设计 115
参考文献 120