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

Automatic Verification of Rationality of 2D Surface Morphology Specification for Authentication

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

Aiming at the problem that the unreasonable 2 D surface morphology specification leads to the incomplete and contradictory key information of the certification scheme, which makes the certification impossible to be completed, automatic inspection specification and certification process of semantic ontology model were proposed. The network ontology language and semantic web rule language based on description logic were used to represent the concept semantics of the rationality judgment method of 2 D surface topography specification oriented to authentication process, and the information description method of the rationality verification process was given. In an example, the validity of automatic verification semantic ontology model was verified with Tableau algorithm used to describe logic.