【24h】

Formal research of event ontology elements

机译:事件本体要素的正式研究

获取原文

摘要

Events as the basic unit of human knowledge, reflect the movement of things, and compared with the static concept can be expressed more high-level semantic information, is more and more attention from researchers in recent years. Many researchers has done a lot of works to the definite event ontology system, but there are a lot of works needs to be for the related elements of formalization description. In this paper, using the Z language combined with a variety of formal representation, to formal and the elements of events ontology. From a series of formalization, this paper gives a set of suitable for event ontology elements formalized method. These will greatly enhance the event ontology description ability, at the same time also can make the existing event ontology with the basis of logical reasoning. It is a foundation to further the research on event ontology.
机译:事件作为人类知识的基本单位,反映了事物的运动,与静态概念相比可以表达更高级别的语义信息,近年来越来越多地关注研究人员。 许多研究人员对明确的事件本体系统进行了很多作品,但有很多作品需要进行正式化描述的相关元素。 在本文中,使用Z语言结合各种形式表示,以正式和事件本体的元素。 从一系列正式化中,本文给出了一套适用于事件本体元素的正式方法。 这些将大大提高事件本体描述能力,同时也可以以逻辑推理的基础制作现有事件本体。 进一步研究事件本体研究是一个基础。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号