Research on Semantic Web Reasoning Based on Event Ontology

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.

[1]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .

[2]  Liang Chang,et al.  Family of Extended Dynamic Description Logics: Family of Extended Dynamic Description Logics , 2008 .

[3]  Wei Liu,et al.  An Extended Description Logic for Event Ontology , 2010, GPC.

[4]  Laurence T. Yang,et al.  Advances in Grid and Pervasive Computing, Third International Conference, GPC 2008, Kunming, China, May 25-28, 2008. Proceedings , 2008, GPC.

[5]  Franz Baader,et al.  Integrating Description Logics and Action Formalisms: First Results , 2005, Description Logics.

[6]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[7]  Michael Wooldridge,et al.  Artificial Intelligence Today , 1999, Lecture Notes in Computer Science.

[8]  R. Doyle.  The American terrorist. , 2001, Scientific American.

[9]  Chang Liang,et al.  Family of Extended Dynamic Description Logics , 2010 .

[10]  Murray Shanahan,et al.  The Event Calculus Explained , 1999, Artificial Intelligence Today.

[11]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[12]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[13]  Jie Yu,et al.  Building Web Knowledge Flows based on Interactive Computing with Semantics , 2010, New Generation Computing.

[14]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[15]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.