文献类型：期刊文章

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

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

出　　处：《计算机科学》

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

年　　份：2014

卷　　号：41

期　　号：9

起止页码：24-27

语　　种：中文

收录情况：BDHX、BDHX2011、CSA、CSCD、CSCD2013_2014、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

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

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

分 类 号：TP391.9]