A formal study of event ontology assertion elements

摘要

More and more people had been attracted by construction of the event ontology system, now its formal description is very important. In this paper, Z language combining with other formal methods, formally describe the assertion elements of the event ontology. Through a series of formal description, we give a set of formal methods suitable to the event ontology.