空管安全系统中人为因素的本体建模研究.pdfVIP

第33卷 第4期 武汉 理工 大学学报 ·信息与管理工 程版 Vo1．33No．4 2011年8月 JOURNALOFWUT(INFORMATIONMANAGEMENTENGINEERING) Aug．2011 文章编号：1007—144X(2011)04—0656—40 文献标志码 ：A 空管安全系统 中人为因素的本体建模研究 刘继新，沈丽楠 (南京航空航天大学 民航学院，江苏 南京210016) 摘 要：将本体作为一种概念化的明确规范说明，引入到空管安全系统中。从本体论的角度出发，初步构建了 空管安全系统中人为因素的本体层次关系图，进行了本体形式化的描述，并通过案例分析对不安全事件中的 人为差错进行本体模型分析 ，进而通过本体建模挖掘出不安全事件内在的逻辑关系 ，从而为减少或避免空管 不安全事件的发生提供科学依据。 关键词：空管安全；人为因素；本体建模 中图分类号：V355；C934；TP311 DOI：10．3963／j．issn．1007—144X．2011．04．037 本体源于哲学领域，且一直以来存在着许多 说，类就是体的抽象群、集合或集成。它们可能包 不同的用法。在计算机科学领域，其核心意思是 含个体、其他类或两者的组合。如人是所有人的 指一种模型，用于描述 由一套对象类型(概念或 集合，个体代表所有个体的类。关系是领域概念 类)、属性 以及关系类型所构成的世界 ¨。 之间的交互作用。从语义上讲，基本的关系共4 现代本体是指一种 “形式化的，对共享概念 种，如表 1所示 。 体系明确而又详细的说明”E2-31，用于描述特定领 表 1 本体模型中的基本关系 域中概念与概念之间的系统关系的集合，具有通 过概念之闯的关系来表达概念语义的能力。 术语 语义 Partof 概念之间整体与部分的关系 国内对空管安全系统中人为因素的研究起步 Kindof 概念之 问的继承关系 较晚，20世纪90年代，国外人为因素理论才开始 Instanceof 概念与实例之间的关系 传人我国民航系统。鉴于当前的项 目主要局限于 Attributeof 概念与其属性之间的关系 对人为因素的概括性研究，笔者将引入本体这一 概念，以补充对空管安全系统中人为因素的研究。 实例代表元素，从语义上讲实例表示对象。 在实际的建模过程 中，由于面对的情况种类 1 本体模型的构建 繁多，概念之间的关系要远多于表 1中列出的4 1．1 本体的构成和定义 种关系，因此可 以视具体情况而定义相应的关系。 本体主要 由个体 (实例)、类 (概念)、属性以 1．2 本体层次关系 及关系组成。个体 (实例)是研究的对象；类 (概 对空管人为因素进行分析归类后，根据概念 念)表示领域中的一组或一类实体；属性是对象 (类)之间的语义关系，可以构建出本体层次关系 (和类)所可能具有的属性、特征、特性、特点和参 图(ont