文献标题: |
基于描述逻辑的能力需求模型验证方法 |
文献来源: |
董庆超;王智学;陈剑;张义; 系统工程与电子技术 2010年 03期 |
文献关键词: |
描述逻辑OWL DL元概念模型应用概念模型 |
文献摘要: |
针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。 |