赵兰杰 翁 爽 李 震 苗 虹

（1.江苏科技大学电子信息学院 镇江 212003）（2.上海船舶设计研究院 上海 201203）（3.江苏科技大学经济管理学院 镇江 212003）

1 引言

近年来安全事故频发，根据国家安监局公布的数据，仅2017 年月全国共发生5.3 万起事故，死亡3.8万人。安全生产管理已经成为日益重视和迫切需要解决的问题。

船舶修造企业具有明火作业多、高空作业多、起重作业多、易燃易爆作业多、狭隘室作业多、立体交叉作业多以及特种作业多等特点，因而事故发生频率较高［1～2］，从而具有典型的安全生产管理要求。

管理信息系统（MIS）极大地提高了企业的管理效率，但其对安全生产管理仍缺乏有力的支持。显然，通过验证MIS 的安全管理能力，发现并解决存在的安全管理问题，将大大增强企业的安全管理能力。

本体是共享概念模型的明确的形式化规范说明，目标是捕获相关领域的知识，提供对该领域知识的共同理解［3］。从相关标准中抽取和建立本体的共享概念模型，利用其进行验证可以得到最广泛的领域知识认可。

综上所述，文章从安全生产管理的领域标准出发，利用本体建模方法抽取共享概念、关联和公理集，建立安全生产管理的本体模型，基于此对管理信息系统的安全生产管理能力进行验证和分析。

2 相关工作

在企业本体建模和验证领域，中科院的金芝等围绕本体的知识工程做出了开创性的工作［4］。文献［5］研究了信息系统安全性需求的本体建模和复用。

在其他安全相关领域，文献［6］介绍了面向航天产品研制的知识网络本体建模方法。……