|
|
Articles
by
Xujie Zhang |
Total Records (
2 ) for
Xujie Zhang |
|
 |
|
|
|
Wei Liu
,
Wenjie Xu
,
Dong Wang
,
Zongtian Liu
and
Xujie Zhang
|
|
As the unit of human knowledge, event is used to describe all kinds of knowledge in the world. Action which is one of the main factors in event describes the changing processes of world states in a specific period of time. As we know, there are different states in different time and the main reason of states changes is caused by action. Therefore, it is necessary to embrace temporal information into the representation about action to describe these changes. In this study, we first proposed a temporal description logic T-ALC, in which the temporal information as a constraint of instances was added to ABox. It provided a kind of decidable approach to deal with the states changes of objects in action. Then, we defined the syntax and semantics of action based on T-ALC. Especially, the semantics of action can be transformed into the changing processes of interpretations and the calculation of new interpretations and ABox were also given. Finally, several inference services of action in different time were studied. |
|
|
|
|
Xujie Zhang
,
Zongtian Liu
,
Tao Liao
and
Xianchuan Wang
|
|
Representation of event plays a key role in research of event ontology. In this study we propose a concept algebra and frame-based representation for both event and event class. The advantages of proposed representation model are; it represent dynamic state changing progress of event, it represent relationships between events and it construct event class from event instances by operations of concept algebra. Solid definitions and formal representation are given to explain the event model and relationships between events. Case studies demonstrate the model is effective to represent events and events class. |
|
|
|
|
|
|