摘要
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。
Aimed at the complexity of conceptual model formal validation methods and subjectivity of conceptual model informal validation methods, this paper developed a conceptual models validation method based on rule reasoning. Then it introduced the principle, frame, implementary steps, validation contents and validation rules in detail. The essence of the method was that replacing domain experts with validation rules and reasoning machine to validate the semantic content of conceptual models automatically in the computer. The method could reduce the complexity of the formalized validation methods, decrease subjectivity and uncertainty of informal validation methods and improved the efficiency of the conceptual model validation.
出处
《计算机应用研究》
CSCD
北大核心
2013年第12期3586-3588,3613,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(60904071)
关键词
军事概念模型验证
语义验证
规则推理
语义网规则语言
military conceptual model validation
semantic validation
rule reasoning
SWRL （ semantic Web rule language）
