人为差错是目前空中交通管制运行中重要的风险源,引起了业界的广泛重视。涌现出诸如HERA-JANUS,HERA-SMART,HFACS等空管人为差错分析模型。但这些模型普遍存在知识表达不完善,逻辑联系表示较弱的问题,需要通过相应的手段实现半自动化分析工具支持。在HERA-JANUS和HERA-SMART模型工作原理及分析流程的基础上,从知识表示的角度出发,确定了空管人为差错知识结构及推理机制,构建了空管人为差错领域知识表示框架。分析了空管人为差错概念及其逻辑联系,构建了空管人为差错本体。依据领域概念的内在联系,定义了人为差错推理规则。结合领域本体和推理规则,构建了空管人为差错本体知识库。采用数据访问层,业务逻辑层和表示层三层架构,通过Eclipse平台上的Jena框架外接MySQL数据库和Pellet推理机,设计并实现了空管人为差错分析软件工具,为空管安全领域专家及用户提供了一个易用的领域知识查询、推理平台。针对乌伯林根空难进行分析验证,结果表明:该分析软件初步实现了空管运行人为差错知识查询、差错致因语义分析的功能,一定程度上实现了HERA-JANUS的知识共享和推理分析。