Abstract: Course of Action（COA） validation is the fundamental step in military planning process.Based on the research of plan representation and plan reasoning，authors propose an ontology and rule based validation approach for COA.In this approach，authors construct the COA validation process with three sub-processes，which are ontological COA representation，description logic and first order logic based COA knowledge abstraction and COA reasoning，to realize the COA validation.A COA of an anti-landmine task is given as the validation example.The example shows that the approach can extend the knowledge of experts and improve the efficiency of correctness validation for COA.

Key words: ontology, rule, reasoning, Course of Action（COA） validation, Web Ontology Language（OWL）, Semantic Web Rule Language（SWRL）, First Order Logic（FOL）

摘要： 计划验证是计划编制过程的重要环节。从知识管理的角度，在已有计划表示和计划推理相关研究的基础上，提出了一种基于本体和规则的计划验证方法框架，通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理，以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明，该方法实现了对专家知识的扩展，提高了作战计划正确性检验的效率。

关键词: 本体, 规则, 推理, 作战计划验证, Web本体语言, 语义网规则语言, 一阶逻辑, ,