基于描述逻辑的能力需求模型验证方法

作者：董庆超; 王智学; 陈剑; 张义

来源：系统工程与电子技术, 2010, (03): 533-539.

• 描述逻辑
• OWL DL
• 元概念模型
• 应用概念模型 description logic
• OWL DL
• meta concept model
• application concept model

针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。

• 单位
  中国人民解放军陆军工程大学