关键词: 装备保障仿真,概念模型,语义验证,本体,规则推理

Abstract: Conceptual model validation is an important measure to guarantee its correctness and creditability．Aimed at the complexity of conceptual model formal validation methods and subjectivity of conceptual model informal validation methods,a conceptual model semantic validation method based on ontology and rule reasoning was advanced by using ontology and semantic Web technology．The method contains four steps.Firstly,conceptual models described by UML are translated into models described by OWL．Secondly,validation rules are constructed based on domain knowledge and described by semantic Web rule language．Thirdly,the model and rules are transformed into the data format recognized by Jess rule engine．Fourthly,the model is compared with the rules to check whether the model accords with validation rules．At last,an example was used to show that the method reduces the complexity of the formalized validation methods,decreases subjectivity and uncertainty of informal validation methods and improves the efficiency of conceptual model validation by replacing domain experts with validation rules and semantic reasoning machine to validate the semantic content of conceptual models automatically in the computer.

Key words: Equipment support simulation,Conceptual model,Semantic validation,Ontology,Rule reasoning