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

• 作者: 刘彬 张星 王桂起 田书超 顾闯
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 装备保障仿真 概念模型 语义验证 本体 规则推理
• 年，卷（期）: 2014,（9）
• 页码范围: 24-27,37
• 页数: 5页
• 分类号: TP391.9
• 字数: 4935字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2014.09.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘彬	军械工程学院装备指挥与管理系	26	67	5.0	6.0
2	田书超	军械工程学院装备指挥与管理系	8	16	2.0	3.0
3	张星	军械工程学院装备指挥与管理系	8	6	1.0	1.0
4	王桂起	军械工程学院装备指挥与管理系	6	30	3.0	5.0