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

摘要：

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

关键词：描述逻辑、OWL DL、元概念模型、应用概念模型

所属期刊栏目：32

分类号：E917;TP391.9(军事技术基础科学)

资助基金：国家高技术研究发展计划863计划2007AA01Z126;"十一五"国防重点预研基金9140A06040108JB8101资助课题

在线出版日期：2010-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：533-539