基于语义推理的作战计划验证方法

刘忠，钱猛，黄金才，张维明

Semantic reasoning based approach to COA validation

LIU Zhong, QIAN Meng, HUANG Jin-cai, ZHANG Wei-ming

Journal of Systems Engineering and Electronics . 2010, (5): 988 -993 . DOI: 10.3969/j.issn.1001-506X.2010.05.024