A logic-based calculus of events
New Generation Computing
The Description Logic Handbook
The Description Logic Handbook
Integrating description logics and action formalisms: first results
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Artificial intelligence today
An extended description logic for event ontology
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
Hi-index | 0.00 |
Ontology is one of the key technologies in Semantic Web. And the traditional ontology is only used to describe the concepts and the relations between them which neglected to describe dynamic knowledge. However, the Semantic Web offers services, which allow their users to effect changes in the world. In this paper, the dynamic knowledge in Semantic Web is described by a 3-tuple formal definition of action with temporal information which defined in event. And an Action-TBox and an Action-ABox are also proposed at the background of event ontology. Based on this formalism, several inference services of dynamic knowledge are discussed.