南京大学学报(自然科学版) ›› 2015, Vol. 51 ›› Issue (4): 796–809.

• • 上一篇    下一篇

一种基于描述逻辑和要素投影的事件本体形式化方法

刘 炜*,丁 宁,张雨嘉,谭 悦,刘宗田   

  • 出版日期:2015-07-07 发布日期:2015-07-07
  • 作者简介:(上海大学计算机工程与科学学院,上海200444)
  • 基金资助:
    国家自然科学基金(61305053,61273328),上海市自然科学基金(12ZR1410900)

An event ontology formalization method based on description logic and elements projection

Liu Wei, Ding Ning, Zhang Yujia, Tan Yue, Liu Zongtian   

  • Online:2015-07-07 Published:2015-07-07
  • About author:(School of Computer Engineering and Science, Shanghai University, Shanghai, 200444, China)

摘要: 文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题。提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影理论实现对事件本体的形式化。该方法利用SROIQ丰富的表达能力,将动态的事件转换为静态的复杂概念,既统一了事件与事件状态的表示方法,也建立起了事件之间、事件要素之间的语义关系。基于SROIQ的事件要素投影方法能够有效表示各领域的事件类、事件实例与事件要素,提取事件、事件关系在事件要素上的普遍规律,有助于领域事件本体的构建和形式化,以及针对事件要素的推理。

Abstract: Compared with traditional concept, event as a knowledge unit has numerous advantages in terms of knowledge representation. An event consists of a variety of elements including action, object, time, place and etc. But the complexity of event structure brings about difficulties on formalization and inference on events. Due to the lack of effective methods of representation and reasoning for the event elements in text, and the deficiencies of traditional description logic expression on event knowledge, an event element projection is proposed as a new formalization method. By means of powerful expression of extended description logic sublanguage, SROIQ, and based on a new event ontology model, this method has many advantages. Event element projection unifies representation of events and event states, and builds the semantic relations between events and elements. Based on SROIQ, event element projection is able to effectively represent event class, event instances and event elements in all areas and abstract the universal elemental features of events or event relations, and contributes to the construction of domain event ontology and reasoning on event elements. An example of formalization on water pollution emergencies ontology is provided based on SROIQ and element projection method. The general process and steps of event ontology formalization are proposed as well. The semantics of event relations based on element projection and reasoning on event relations are also discussed at last. Event element projection makes element inference compatible with event class inference, simplifies syntax of formalization framework, and enriches the semantic definitions of various event relations. Based on this method and SROIQ, the expression of formalization framework could be enhanced and the reasoning ability could be ensured.

[1]. Hatzivassiloglou V, Filatova E. Domain-independent detection, extraction, and labeling of atomic events. In: Proceedings of RANLP, 2003:145-152.
[2]. Vanderwende L, Banko M, Menezes A. Event-centric summary generation. Working notes of DUC, 2004, 127-132.
[3].Van Hage W R, Malaisé V, Segers R, et al. Design and use of the Simple Event Model (SEM). Web Semantics: Science, Services and Agents on the World Wide Web, 2011, 9(2): 128-136.
[4]. Van Hage W R, Malaisé V, de Vries G K D, et al. Abstracting and reasoning over ship trajectories and web data with the Simple Event Model (SEM). Multimedia Tools and Applications, 2012, 57(1): 175-19
[5]. Corda I, Bennett B, Dimitrova V. A Logical model of an event ontology for exploring connections in historical domains. In: Workshop on Detection, Representation and Exploitation of Events in Semantic Web, Tenth International Semantic Web Conference (ISWC). 2011.
[6]. 刘宗田, 黄美丽, 周文等. 面向事件的本体研究. 计算机科学, 2009, 36(11): 189-192.
[7]. 仲兆满, 李存华, 刘宗田等. 面向Web新闻的事件多要素检索方法. 软件学报, 2013, 24(10): 2366-2378.
[8]. Pittet P, Cruz C, Nicolle C. Modeling hanges for SHOIN (D) ontologies: An exhaustive structural model. In: IEEE Seventh International Conference on Semantic Computing (ICSC), IEEE, 2013: 104-109.
[9].Horrocks I, Kutz O, Sattler U. The ven more irresistible SROIQ. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning, 2006, 6: 57-67.
[10]. Mosurovic M, Krdzavac N, Graves H, et al. A decidable extension of SROIQ with complex role chains and unions. Journal of Artificial Intelligence Research, 2013, 47(1):809-851.
[11].Kazakov Y. An extension of complex role inclusion axioms in the description logic mathcal{SROIQ}. Automated Reasoning, 2010: 472-486.
[12].Carral D, Scheider S, Janowicz K, et al. An ontology design pattern for cartographic map scaling. The Semantic Web: Semantics and Big Data. Springer Berlin Heidelberg, 2013: 76-93.
[13]. Martínez D C, Janowicz K, Hitzler P. A logical geo-ontology design pattern for quantifying over types. In: Proceedings of the 20th International Conference on Advances in Geographic Information Systems. ACM, 2012: 239-248.
[14].Hu Y, Janowicz K, Carral D, et al. A geo-ontology design pattern for semantic trajectories. Spatial Information Theory. Springer International Publishing, 2013: 438-456.
[15]. McCarthy J. Situations, actions, and causal laws. Stanford University Department of Computer Science, 1963.
[16]. Shanahan M. The event calculus explained. Artificial intelligence today. Springer Berlin Heidelberg, 1999: 409-430.
[17]. Kaneiwa K. Order-sorted logic programming with predicate hierarchy. Artificial Intelligence, 2004, 158(2):155–188.
[18].Kaneiwa K, Iwazume M, Fukuda K. An upper ontology for event classifications and relations. AI 2007: Advances in Artificial Intelligence. Springer Berlin Heidelberg, 2007: 394-403.
[19]. Scherp A, Franz T, Saathoff C, et al. F--a model of events based on the foundational ontology dolce+ DnS ultralight. In: Proceedings of the 5th International Conference on Knowledge Capture. ACM, 2009: 137-144.
[20].Liu W, Xu W, Fu J, et al. An extended description logic for event ontology. Advances in Grid and Pervasive Computing. Springer Berlin Heidelberg, 2010: 471-481.
[21]. 刘炜, 徐文杰, 唐英英等. 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理. 计算机科学, 2014, 41(1): 116-125.
[22].石 慧, 魏 玲. 面向对象(属性)概念格的布尔表达. 南京大学学报自然科学, 2015, 51(2): 415-420.
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!