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

Journal of Systems Engineering and Electronics ›› 2010, Vol. 32 ›› Issue (3): 533-539.

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

董庆超, 王智学, 陈剑, 张义

(解放军理工大学指挥自动化学院，江苏南京 210007)

出版日期:2010-03-18 发布日期:2010-01-03

Method of checking capability model based on description logic

DONG Qing-chao, WANG Zhi-xue, CHEN Jian, ZHANG Yi

(Inst. of Command Automation, Univ. of Science and Technology of the PLA, Nanjing 210007, China)

Online:2010-03-18 Published:2010-01-03

摘要/Abstract

摘要：

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

董庆超, 王智学, 陈剑, 张义. 基于描述逻辑的能力需求模型验证方法[J]. Journal of Systems Engineering and Electronics, 2010, 32(3): 533-539.

DONG Qing-chao, WANG Zhi-xue, CHEN Jian, ZHANG Yi. Method of checking capability model based on description logic[J]. Journal of Systems Engineering and Electronics, 2010, 32(3): 533-539.