面向认证的二维表面形貌规范合理性自动检验

来源：机床与液压杂志2022年第2期北京时间：

作者：黄美发，刘振辉，唐哲敏，刘廷伟

单位：桂林电子科技大学机电工程学院,广西制造系统与先进制造技术重点实验室；桂林电子科技大学机电工程学院；桂林电子科技大学机电工程学院；桂林电子科技大学机电工程学院

摘要：针对二维表面形貌规范不合理导致认证方案关键信息不完整或矛盾，使认证无法完成的问题,提出规范与认证过程自动检验语义本体模型。采用以描述逻辑为数学基础的网络本体语言和语义网规则语言表示面向认证过程的二维表面形貌规范合理性判断方法中的概念语义，给出描述合理性检验过程信息描述方法。在实例中结合描述逻辑的Tableau算法验证自动检验语义本体模型的有效性。

关键词：认证;二维表面形貌规范;本体;描述逻辑

基金资助：国家自然科学基金项目（51765012）；广西研究生教育创新计划项目（YCSW2020163）