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

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