南京大学学报(自然科学版) ›› 2015, Vol. 51 ›› Issue (4): 796809.
刘 炜*,丁 宁,张雨嘉,谭 悦,刘宗田
Liu Wei, Ding Ning, Zhang Yujia, Tan Yue, Liu Zongtian
摘要: 文本事件的表示一直缺乏针对事件要素的有效表示和推理方法,采用传统描述逻辑对基于事件的知识进行形式化表示存在表达能力不足的问题。提出一种新的事件本体结构模型,在此基础上对描述逻辑的子语言SROIQ进行扩展,同时提出事件要素投影理论实现对事件本体的形式化。该方法利用SROIQ丰富的表达能力,将动态的事件转换为静态的复杂概念,既统一了事件与事件状态的表示方法,也建立起了事件之间、事件要素之间的语义关系。基于SROIQ的事件要素投影方法能够有效表示各领域的事件类、事件实例与事件要素,提取事件、事件关系在事件要素上的普遍规律,有助于领域事件本体的构建和形式化,以及针对事件要素的推理。
[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! |
|