联合作战仿真是目前军事领域和仿真领域研究的热点问题之一。仿真想定系统为联合作战仿真系统提供初始态势和作战任务等,是连接军事人员、作战研究人员和仿真工具的重要纽带。由于联合作战涉及多种多样的军兵种专业领域、指控体系、技术装备和业务流程,使得仿真想定系统容易出现人为误操作、领域知识不兼容等问题,从而导致仿真想定的正确性和可信性得不到保证。仿真想定校验的目的就是保证仿真想定系统输出的仿真想定脚本文件能够真实可信地反映用户对作战部署、作战行动、作战环境以及对抗过程的设想和描述。现有的人工校验和硬写入式的仿真想定校验方法在通用性、重用性和可信性上存在不足,不能适应大规模仿真想定系统开发需求。为解决这一问题,本文在参加联合作战仿真想定系统开发的工程背景下,提出了构建仿真想定领域本体的SSOCA方法(Simulation Scenario Ontology Construction Approach,仿真想定领域本体构建方法)和基于本体的分层校验思路。论文的主要工作和创新点体现在以下三点:一是在对国内外本体构建方法研究的基础上,提出了构建仿真想定领域本体的SSOCA方法。SSOCA方法从战场空间态势的角度将仿真想定领域本体区分为实体本体和想定本体来构建,符合联合作战的网络化逻辑结构和工程开发的模块化要求,也更有利于对仿真想定实施分层校验。二是根据仿真想定特点和本体语言特征提出了分层校验的框架思路,区分语法层次和语义层次,运用本体的查询推理能力对仿真想定实施校验,建立了自动校验框架和可扩充的校验规则,基本涵盖了工程实践中遇到的各种想定校验内容,可满足仿真想定校验的通用性和自动校验需求。三是设计了一个基于本体的仿真想定校验系统原型来演示基于本体的仿真想定校验的框架思路。