
孕灾环境本体构建中的基础逻辑关系研究
Study on foundational logical relations for constructing ontology of disaster-pregnant environment
应急决策的目的是处理灾害后果, 突发事件的孕灾环境直接影响着灾害后果. 基于本体的孕灾环境形式化建模对于应急决策起到了辅助作用. 当前OWL语言中的基础关系is-a, 在描述孕灾环境中存在一些不足. 本文针对这些不足,提出三种总分关系作为基础关系, 这三种基础关系既可以有效地描述孕灾系统中要素间的整体部分关系, 又可以描述要素之间的相对位置关系. 基于三种基础关系, 本文提出构建孕灾环境本体模型的方法, 并以吉林石化水污染事件为例, 构建了一个元模型. 推理能力是本体方法的优势, 在文章的最后以实例比较了基于三个基础关系复合推理和描述逻辑的相关推理方法, 发现了复合关系推理的优势.
The purpose of emergency decision is to deal with the impact of disasters, which is decided by the disaster-formative environments (HE). Ontology-based formal model for HE has played an important role in the progress of decisions. However, the foundational relation of OWL, namely is-a, lacks ability in modeling the disaster-pregnant environment. This paper proposed three foundational relations based on mereotopology aiming at this problem. They are not only effective in describing the mereology relations among the elements of disaster-pregnant environment, but also can depict the relative spatial relations among them. Moreover, an ontology model of the disaster-pregnant environment is proposed based on the three foundational relations. And then a meta model is constructed taking a pollution case as an example. For reasoning is one of the most important advantages of ontology method, in the end, we compare the compound reasoning algorithm based on the above three relations with the algorithm based on description logics through an example, and find the advantage of compound reasoning.
孕灾环境 / 本体模型 / 总分学 / 推理 {{custom_keyword}} /
disaster-formative environments / ontology model / mereotopology / reasoning {{custom_keyword}} /
[1] 史培军. 三论灾害研究的理论与实践[J]. 自然灾害学报. 2002, 11(3): 1-9.Shi P J. Theory on disaster science and disaster dynamics[J]. Journal of Natural Disasters, 2002, 11(3): 1-9.
[2] 张继永. 基于孕灾环境的突发事件连锁反应模型研究[D]. 大连: 大连理工大学, 2010.Zhang J Y. Study on emergency chain-reaction model based on disaster-pregnant environment[D]. Dalian: Dalian University of Technology, 2010.
[3] Komorowski J, Pawlak Z, Polkowski L, et al. Rough sets: A tutorial — rough fuzzy hybridization. A new trend in decision making[M]. Springer-Verlag, 1999.
[4] Polkowski L, Skowron A. Towards adaptive calculus of granules[C]// Proceedings of the FUZZ-IEEE'98 International Conference, Anchorage, Alaska, USA, May, 1998: 111-116.
[5] Varzi A C. Parts, wholes, and part-whole relations: The prospects of mereotopology[J]. Data and Knowledge Engineering, 1996, 20: 259-286.
[6] 陈波, 周明天, 粗糙性理论的列氏总分学分析[J]. 计算机科学, 2006, 33(7): 171-175.Chen B, Zhou M T. A Lesniewski Mereological Analysis on roughness theory[J]. Computer Science, 2006, 33(7): 171-175.
[7] 连莉, 马军, 雷景生, 等. Part-Whole关系的细分及性质分析[J]. 计算机工程, 2006, 32(17): 83-85.Lian L, Ma J, Lei J S, et al. Subdivision and nature analysis of part-whole relation[J]. Computer Engineering, 2006, 32(17): 83-85.
[8] Ressler J, Dean M, Kolas D. Geospatial ontology trade study[C]// Proceedings of the 2nd International Ontology for the Intelligence Community Conference, Columbia, 2010: 179-211.
[9] Grenon P. Spatio-temporality in basic formal ontology: SNAP and SPAN, upper-level ontology, and framework for formalization[C]// IFOMIS Technical Reports Series, 2005/2003.
[10] 孙敏, 陈秀万, 张飞舟. 地理信息本体论[J]. 地理与地理信息科学, 2004(3): 6-11.Sun M, Chen X W, Zhang F Z. Geo-ontology[J]. Geography and Geo-Information Science, 2004(3): 6-11.
[11] Calvanese D, Giacomo G D. Expressive descriptions logics[M]. The Description Logic Handbook, CUP 193C236 of Technology, 2010.
[12] Haarslev V, Möller R, Wessel M. Visual spatial query languages: A semantics using description logic[J]. Diagrammatic Representation and Reasoning, 2000(160): 145-172.
国家自然科学基金重大研究计划(91024003, 91024031); 高等学校博士学科点专项科研基金(20090041110010)
/
〈 |
|
〉 |