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

被引：2

作者：

刘炜

丁宁

张雨嘉

谭悦

刘宗田

机构：

[1] 上海大学计算机工程与科学学院

来源：

南京大学学报(自然科学) | 2015年 / 51卷 / 04期

基金：

上海市自然科学基金;

关键词：

事件本体; 事件要素投影; 形式化; 扩展描述逻辑;

D O I：

10.13232/j.cnki.jnju.2015.04.017

中图分类号：

TP391.1 [文字信息处理];

学科分类号：

081203 ; 0835 ;

摘要：

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

引用

页码：796 / 809

页数：14

共 21 条

[1]

The event calculus explained.Artificial intelligence today. Shanahan M. . 1999

[2]

The even more irresistible SROIQ. Horrocks I,Kutz O,Sattler U. Proceedings of the 10th International Conference of Knowledge Representation and Reasoning(KR 2006) . 2006

[3]

Domain-Independent Detection, Extraction, and Labeling of Atomic Events. Filatova E,Hatzivassiloglou V. Proceedings of Recent Advances in Natural Language Processing . 2003

[4]

An extended description logic for event ontology. Liu Wei,WenjieXu,Jianfeng Fu,et al. Advances in Grid and Pervasive Computing . 2010

[5]

F--a model of events based on the foundationalontology dolce+DnS ultralight. Scherp A,Franz T,Saathoff C. et al. Proceedings of the5th International Conference onKnowledge Capture (K-CAP2009) . 2009

[6]

An upper ontology for event classifications and relations. KANEIWA K,IWAZUME M,FUKUDA K. Advances in Artificial Intelligence . 2007

[7] 面向对象(属性)概念格的布尔表达 [J].

石慧 ;

魏玲 .

南京大学学报(自然科学), 2015, 51 (02) :415-420

[8] 面向Web新闻的事件多要素检索方法 [J].

仲兆满 ;

李存华 ;

刘宗田 ;

戴红伟 .

软件学报, 2013, 24 (10) :2366-2378

[9] 基于扩展描述逻辑和逻辑程序的事件动作形式化表示与推理 [J].

刘炜 ;

徐文杰 ;

唐英英 ;

付剑锋 ;

张旭洁 ;

刘宗田 .

计算机科学, 2014, (01) :116-125

[10]

Modeling changes for SHOIN (D)ontologies:An exhaustive structural model. Pittet P,Cruz C,Nicolle C. IEEE Seventh International Conference on Semantic Computing (ICSC) . 2013

← 1 2 3 →