一种基于本体规则描述的基准体系合理性自动检验方法

摘要

本发明属于计算机辅助公差设计（CAT）技术领域，具体涉及一种基于本体规则描述的基准体系合理性自动检验方法，由以下步骤组成：（1）构建基准体系合理性本体；（2）建立SWRL推理规则；（3）提取相关的公差信息；（4）提取几何要素的自由度信息；（5）构建检验基准体系合理性的断言公理集；（6）推理确定基准体系的合理性，输出合理性检验的推理信息。本发明采用OWL语言描述推理信息，SWRL语言描述推理规则，利用本体强大的表达能力和推理能力对基准体系的合理性进行自动检验，具有简易、高效及智能等优点，它满足公差信息在异构CAX系统之间有效共享和顺畅传递的需求，符合设计者自顶向下的思维习惯，有较强的适用性，保证了与计算机的兼容性。