tengym

Design and use of XML Schemas are essential tasks in the software engineering process for many systems, but duplication and different naming and desig

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