装备保障仿真概念模型的语义验证方法研究  

Research on Semantic Validation Methods of Equipment Support Simulation Conceptual Model

作　　者：顾闯[1,2] 刘彬[2] 张星[2] 田书超[2] 王桂起[2] 

机构地区：[1]中国人民解放军73902部队 [2]军械工程学院装备指挥与管理系

出　　处：《计算机科学》2014年第9期24-27,37,共5页Computer Science

基　　金：国家自然科学基金项目(60904071)资助

摘　　要：概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。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.

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]