为解决基于纯数学的基准体系合理性检验方法难以显式表示检验过程中所使用的公差信息语义的问题,将本体技术引入到合理性检验的研究中。首先建立了一个由公差类型层、基准体系层、基准层、几何要素层和自由度层组成的层次公差信息模型,用于表示基准体系合理性检验中所使用的公差信息。然后在所建立的模型基础上构建基准体系合理性本体,表示产品几何信息的结构和相互关系。在构建的本体中,定义了基于布尔运算和自由度分析的推理规则来描述基准体系合理性检验过程中的知识和经验。设计并实现了一种基于本体推理规则的基准体系合理性自动检验算法。通过将该算法应用于工程实例,验证了该算法的有效性。

针对不完整的公差规范导致认证人员提出多样化的认证方案,使规范设计意图与认证方案不一致的问题,以工程中典型的圆柱度为研究对象,提出一种基于本体的圆柱度规范完整性自动检验方法。根据圆柱度规范与认证之间的映射关系构建自动检验工程语义模型,将该工程语义模型转化为以描述逻辑为数学基础的本体模型,并提出了完整性自动检验算法,最后在实例中结合该算法来验证提出方法的有效性。结果表明:该方法能有效地对圆柱度规范完整性进行自动检验。