通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理, 以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。