Research on Action Reasoning in Event Ontology
Events are the specific facts which change over time.And they are comprised of actions,time and some other factors.But action is the main factor in the definition of event.Reasoning about action is always an important research topic in the event-based knowledge system.Current action formalisms aim at describing and reasoning about the status changing of real world,and neglect that the time of actions will change the reasoning process of action.In this paper,an Action-TBox and an Action-ABox are proposed based on description logic,and a 3-tuple formal definition of action with temporal constructors is also introduced to the procedure of status changing for composite actions.Based on this formalism,several inference services of actions involved in event ontology are discussed,in which both the action and time are regarded as important factors that affect reasoning results.