位置:成果数据库 > 期刊 > 期刊详情页
一种基于描述逻辑和要素投影的事件本体形式化方法
  • ISSN号:0469-5097
  • 期刊名称:《南京大学学报:自然科学版》
  • 时间:0
  • 分类:TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]上海大学计算机工程与科学学院,上海200444
  • 相关基金:国家自然科学基金(61305053,61273328); 上海市自然科学基金(12ZR1410900)
中文摘要:

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

英文摘要:

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 and place,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 status,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 to abstract the universal elemental features of events or event relations.It also 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 areproposed 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.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《南京大学学报:自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:南京大学
  • 主编:龚昌德
  • 地址:南京汉口路22号南京大学(自然科学版)编辑部
  • 邮编:210093
  • 邮箱:xbnse@netra.nju.edu.cn
  • 电话:025-83592704
  • 国际标准刊号:ISSN:0469-5097
  • 国内统一刊号:ISSN:32-1169/N
  • 邮发代号:28-25
  • 获奖情况:
  • 中国自然科学核心期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:9316