Formal research of event ontology elements

DOI

10.2991/icemct-15.2015.246How to use a DOI?

Keywords

event ontology; event elements; formalization; Z language

Abstract

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.

Copyright

© 2015, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Yajun Zhang
AU  - Zongtian Liu
AU  - Yalan Zhang
PY  - 2015/06
DA  - 2015/06
TI  - Formal research of event ontology elements
BT  - Proceedings of the 2015 International Conference on Education, Management and Computing Technology
PB  - Atlantis Press
SP  - 1195
EP  - 1199
SN  - 2352-5398
UR  - https://doi.org/10.2991/icemct-15.2015.246
DO  - 10.2991/icemct-15.2015.246
ID  - Zhang2015/06
ER  -