基于描述逻辑的能力需求模型验证方法 |
| |
引用本文: | 董庆超,王智学,陈剑,张义.基于描述逻辑的能力需求模型验证方法[J].系统工程与电子技术,2010,32(3):533-539. |
| |
作者姓名: | 董庆超 王智学 陈剑 张义 |
| |
作者单位: | (解放军理工大学指挥自动化学院, 江苏 南京 210007) |
| |
基金项目: | 国家高技术研究发展计划(863计划),"十一五"国防重点预研基金(9140A06040108JB8101)资助课题 |
| |
摘 要: | 针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。
|
关 键 词: | 描述逻辑 OWL DL 元概念模型 应用概念模型 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |