论文部分内容阅读
事件是随时间变化而变化的具体事实，事件是由动作、时间及其它要素组成，动作是事件定义中的主要构成部分．在面向事件的知识库系统中，关于动作的推理研究一直是重要的研究课题之一．现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化，忽略了时间要素对推理过程的影响,针对这种不足，本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合，形式化定义了动作的一个三元组表示方式以及多种时间构造算子．用以刻画组合动作的发生过程，在此基础上研究了事件本体中关于动作的几种推理服务．