中文摘要：

针对C41SR系统能力需求中存在的大量模糊信息以及需求模型中可能会存在的不一致性、不合理性问题，从体系结构能力相关概念出发，构建C4ISR领域特定的能力模糊本体，在模糊本体的引导下，获取应用系统的能力需求模型．在此基础上，研究了基于模糊描述逻辑符号推理的能力需求模型一致性、合理性验证技术，给出了能力需求模型向模糊描述逻辑知识库的转换算法，最终采用一个模型验证案例说明了方法的可行性．

英文摘要：

The paper focuses on modeling the uncertain and vague information in C4ISR system capability requirements and finding out the inconsistent and unreasonable requirements in the models. It suggests that a fuzzy ontology which describes a specific C4ISR capability domain is constructed first, according to the meta concepts of a standard architecture framework, and then the capability requirements of the application system can be modeled with the help of the ontolo- gy. A method of consistency and reasonability model checking based on the symbolic reasoning system of fuzzy Description I.ogic is presented, with an algorithm which transforms the capability requirements model into the knowledge base of fuzzy Description I.ogic. A case study of C4ISR capability requirements modeling and verification is provided to demonstrate the availability and applicability of the method.