面向应急主体的预案形式化模型

doi:C 94

系统管理学报 ›› 2015, Vol. 24 ›› Issue (5): 644-653.DOI: C 94

面向应急主体的预案形式化模型

倪子建，荣莉莉，郄子君

大连理工大学系统工程研究所，辽宁大连 116023

收稿日期:2013-05-05 修回日期:2013-12-20
通讯作者: 荣莉莉（1964-）女，教授。E-mail: llrong@dlut.edu.cn
作者简介:倪子建（1981-）男，博士后，研究方向为应急管理和知识管理。
基金资助:
国家自然科学基金资助项目（91024029, 71371039, 91024003）；国家自然科学基金青年项目（71501022）

A Formal Model of Contingency Disaster Plans for Emergency Responders

NI Zi-jian，RONG Li-li，QIE Zi-jun

Received:2013-05-05 Revised:2013-12-20

摘要/Abstract

摘要： 为不同的应急主体，提供在不同状态下应进行的应急工作，是预案内容的重要组成部分。为了能利用计算机方便而快速地得到上述类型信息，并将众多的应急工作有序地组织起来，提出基于顶层本体的预案形式化模型。具体内容包括：① 基于顶层本体建立预案领域本体；② 解决了模型中多元关系表示问题；③ 实现了对于原型系统中有用的信息的检索；④ 应急工作并不是无须罗列的，利用时间推理将散布于不同位置的应急工作连接起来。

关键词: 预案, 形式化模型, 顶层本体, 多元关系, 时间推理

Abstract: An important part of Chinese contingency disaster plans is to provide useful information for different emergency responders, informing them what should be done in a certain kind of scenarios. A formal model can help responders get these kinds of information from the Internet. In this paper, we propose a formal model based on upper ontology, with contributions as follows: (1) A domain ontology of Chinese plans is constructed; (2) N-ary relations can be represented in our model; (3) The users can retrieval the useful information from our model; and (4) Temporal reasoning can help to link the rescue works scattering in different chapters and sections.

Key words: plans, formal model, upper ontology, n-ary relation, temporal reasoning

倪子建，荣莉莉，郄子君. 面向应急主体的预案形式化模型[J]. 系统管理学报, 2015, 24(5): 644-653.

参考文献

[1] 刘铁民. 突发事件应急预案体系概念设计研究[J]. 中国安全生产科学技术, 2011, 7(8):5-13.
[2] 李红臣，邓云峰，刘艳军. 应急预案的形式化描述[J]. 中国安全生产科学技术, 2006, 02(04):29-35.
[3] 王志兵. 津滨轻轨应急预案数字化研究及应用[D]. 天津：天津大学, 2008
[4] M. Hoogendoorn，C. M. Jonker，V. Popova A. Sharpanskykh，Etc. Formal modelling and comparing of disaster plans[C]//2nd International ISCRAM Conference. 2005: 97-107.
[5] F. De B. De Beuvron M. Grathwohl, F. Rousselo. A new application for description logics: disaster management[C]//the International Workshop on Description Logics ’99. 1999
[6] D.，Giacomo G.D. Calvanese. Expressive Descriptions Logics[M]. Expressive Descriptions Logics, 2002:193-236.
[7] 刘功智，刘铁民. 重大事故应急预案编制指南[J]. 劳动保护, 2004(4):11-18.
[8] Grenon. Spatio-temporality in basic formal ontology: SNAP and SPAN, upper-level ontology and framework for formalization[R]. Infomis, 2003.
[9] 颜丽. 基于范畴论的应急预案语义模型研究[D]. 南京：南京邮电大学, 2011.
[10] Grenon P，Smith B，Goldberg L. Biodynamic ontology: Applying BFO in the biomedical domain[J]. Ontologies in Medicine, 2004, 20-38.
[11] Smith B，Varzi A C. Fiat and bona fide boundaries[J]. Philosophy and Phenomenological Research, 2000,60 (2):401-420.
[12] Smith B，Ashburner M，et al. The OBO foundry: Coordinated evolution of ontologies to support biomedical data integration[J]. Nature Biotechnology, 2007, 25(11): 1251-1255.
[13] Parsia B，et al. Defining n-ary relations on the semantic web[EB/OL]. W3C, 2006, http://www.w3.org/TR/swbp-n-aryRelations.
[14] 倪子建，荣莉莉，鲁荣辉. 孕灾环境本体中基础逻辑关系属性研究[J]. 系统工程理论与实践.
[15] Calvanese D，Giacomo G，Lenzerini M. Conjunctive query containment in Description Logics with n-ary relations[C]//In Proc. of the 1997 Description Logic Workshop (DL’97), 1997: 5-9.
[16] Severi P，Fiadeiro J，Ekserdjian D. Guiding reification in OWL through aggregation[C]//In Proc. 23rd Int. Workshop on Description Logics (DL2010), 2010: 416-427.
[17] Vilain M. A system for reasoning about time[C]//In Proceedings of the Second AAAI, 1982: 197-201.
[18] Prud’hommeaux E，Seaborne A. SPARQL query language for rdf[EB/OL]. http://www.w3.org/TR/rdf-sparql-query/.2006.
[19] Evren，Sirin，Bijan，Parsia. SPARQL-DL: SPARQL query for OWL-DL[C] //Innsbruck, Austria: Proceedings of the Third International Workshop on OWL: Experiences and Directions. 2007.
[20] Baader Franz, Werner Nutt. Basic description logics[M]. Franz B. The description logic handbook. Cambridge University Press, 2003: 43-95.
[21] Baader Franz, Philipp Hanschke. A Scheme for Integrating Concrete Domains into Concept Languages[C]//The 12th International Joint Conference on Artificial Intelligence (IJCAI 1991), 1991: 452-457.
[22] Pan J, Horrocks I. Reasoning in the SHOQ(Dn) Description Logic[C]//In Proceedings of the International Workshop in Description Logics 2002, 2002:53-62.
[23] Paula Severi, JoséFiadeiro, David Ekserdjian. Guiding the representation of n-ary relations in ontologies through aggregation, generalisation and participation[J]. Web Semantics: Science, Services and Agents on the World Wide Web, 2011, 9 (2011):83-98.