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

• 作者: 张义 王智学 董庆超 陈剑
• 来源期刊: 系统工程与电子技术
• 学科: 军事
• 关键词: 描述逻辑 OWL DL 元概念模型 应用概念模型
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 系统工程
• 页码范围: 533-539
• 页数: 7页
• 分类号: E917|TP391.9
• 字数: 7235字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	解放军理工大学指挥自动化学院	76	534	12.0	19.0
2	陈剑	解放军理工大学指挥自动化学院	24	153	7.0	10.0
3	董庆超	解放军理工大学指挥自动化学院	20	120	7.0	10.0
4	张义	解放军理工大学指挥自动化学院	3	15	3.0	3.0