摘要:
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言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.