基于描述逻辑的C4ISR系统体系结构一致性验证方法
王智学, 董庆超, 姜志平, 王庆龙
Method of C4ISR system architecture consistency verification based on description logic system
WANG Zhixue, DONG Qingchao, JIANG Zhiping, WANG Qinglong
Journal of Systems Engineering and Electronics . 2012, (9): 1841 -1845 .  DOI: 10.3969/j.issn.1001-506X.2012.09.16