南京大学学报（自然科学版）Issue(4)：796-809,14.DOI:10.13232/j.cnki.jnju.2015.04.017
一种基于描述逻辑和要素投影的事件本体形式化方法
An event ontology formalization method based on description logic and elements projection
摘要
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 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 de-scription 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 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.关键词
事件本体/事件要素投影/形式化/扩展描述逻辑Key words
event ontology/event elements projection/formalization/extended description logic分类
信息技术与安全科学引用本文复制引用
刘炜,丁宁,张雨嘉,谭悦,刘宗田..一种基于描述逻辑和要素投影的事件本体形式化方法[J].南京大学学报（自然科学版）,2015,(4):796-809,14.基金项目
国家自然科学基金(61305053,61273328),上海市自然科学基金(12ZR1410900) （61305053,61273328）
