论文部分内容阅读
事件是随时间变化而变化的具体事实,事件是由动作、时间及其它要素组成,动作是事件定义中的主要构成部分.在面向事件的知识库系统中,关于动作的推理研究一直是重要的研究课题之一.现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化,忽略了时间要素对推理过程的影响.针对这种不足,本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合,形式化定义了动作的一个三元组表示方式以及多种时间构造算子,用以刻画组合动作的发生过程,在此基础上研究了事件本体中关于动作的几种推理服务.
Events are specific facts that change over time, events consist of actions, time, and other elements, and actions are the major components of event definitions. In the event-oriented knowledge base system, the study of reasoning about actions has always been important One of the research topics.At present, the formal system of action reasoning aims to describe and reason the change of state in the real world, ignoring the influence of time elements on the process of reasoning.In response to this deficiency, this paper expands on the description of logic Action-TBox and Action-ABox. Combining the action elements in the event ontology with the time elements, a tuple representation of the action and a variety of time construct operators are formally defined to describe the occurrence of the combination action On the basis of this, we study several kinds of reasoning services about action in ontology.