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