第一章 绪论 1
1.1 产品几何规范研究的背景 1
1.2 产品几何规范标准体系的形成与发展 2
1.3 产品几何规范的表示技术 4
第二章 N-GPS的基本理论 10
2.1 概述 10
2.2 几何要素 17
2.3 要素的几何变动 20
2.4 表面模型 26
2.5 不确定度 35
第三章 描述逻辑ALC（DGFV）和本体 39
3.1 概述 39
3.2 描述逻辑ALC（DGFV） 40
3.3 本体 52
第四章 ISO极限与配合的DL_LiteR表示 56
4.1 概述 56
4.2 尺寸极限与配合知识 56
4.3 描述逻辑DL_LiteR 78
4.4 尺寸精度与配合设计本体表示 83
4.5 尺寸精度检验本体表示 94
4.6 尺寸极限与配合数据库表示 98
第五章 公差指标的自动生成 109
5.1 概述 109
5.2 公差表示模型 111
5.3 基于ALC（DGFV）的公差类型的自动生成 116
5.4 基于本体的公差类型的自动生成 129
第六章 形状公差的数学模型表示及其实现 150
6.1 形状公差的数学模型 150
6.2 数学模型的ALC（R）表示 156
6.3 数学模型的实现 158
第七章 直线度验证知识库系统 168
7.1 概述 168
7.2 系统框架设计 168
7.3 系统功能模块 171
7.4 系统领域层设计 173
7.5 系统推理层设计 178
7.6 系统开发 205
7.7 实例分析 210
附录1 公差表示的元本体中所有类及所有属性的OWL RDF/XML编码 216
附录2 公差表示的元本体中所有类转换成的Jess模版 224
附录3 表5-3中所列SWRL规则转换成的Jess规则 226
参考文献 239