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