Linking Context Modelling and Contextual Reasoning

In this paper, we discuss a novel perspective on ontologybased context modelling that makes it easy to combine context models and contextual reasoning mechanisms. On the context modelling side, we outline our idea of a user-centric context model based on the six fundamental context parameters of who, when, where, what, how, and why (5W1H); on the contextual reasoning side, we introduce syntax and semantics for a simple logical language and sketch a tableau mechanism for reasoning. The model-theoretic semantics for this logical language is like the context model based on the parameters of 5W1H. With the common semantics, it is then easy to show the link between context modelling and contextual reasoning.

[1]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[2]  Jochen Renz.  Qualitative Spatial and Temporal Reasoning: Efficient Algorithms for Everyone , 2007, IJCAI.

[3]  Patrick Brézillon,et al.  Context in problem solving: a survey , 1999, The Knowledge Engineering Review.

[4]  Max J. Egenhofer,et al.  Spatial SQL: A Query and Presentation Language , 1994, IEEE Trans. Knowl. Data Eng..

[5]  Jakob E. Bardram.  The Java Context Awareness Framework (JCAF) - A Service Infrastructure and Programming Framework for Context-Aware Applications , 2005, Pervasive.

[6]  Woontack Woo,et al.  ubi-UCAM 2.0:A Unified Context-aware Application Model for Ubiquitous Computing Environments , 2005 .

[7]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[8]  Jadwiga Indulska,et al.  Developing context-aware pervasive computing applications: Models and approach , 2006, Pervasive Mob. Comput..

[9]  Tao Gu,et al.  A service-oriented middleware for building context-aware services , 2005, J. Netw. Comput. Appl..

[10]  Ulf Leonhardt,et al.  Supporting location-awareness in open distributed systems , 1998 .

[11]  Chiara Ghidini,et al.  Contextual reasoning distilled , 2000, J. Exp. Theor. Artif. Intell..

[12]  Bill N. Schilit,et al.  Context-aware computing applications , 1994, Workshop on Mobile Computing Systems and Applications.

[13]  Claudia Linnhoff-Popien,et al.  CoOL: A Context Ontology Language to Enable Contextual Interoperability , 2003, DAIS.

[14]  Woontack Woo,et al.  wear-UCAM: A Toolkit for Mobile User Interactions in Smart Environments , 2006, EUC.

[15]  Gregory D. Abowd,et al.  Towards a Better Understanding of Context and Context-Awareness , 1999, HUC.

[16]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[17]  Robert E. McGrath,et al.  Ontologies in a Pervasive Computing Environment , 2003 .

[18]  Guanling Chen,et al.  A Survey of Context-Aware Mobile Computing Research , 2000 .

[19]  Harry Chen,et al.  SOUPA: standard ontology for ubiquitous and pervasive applications , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[20]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[21]  Stevan Harnad.  The Symbol Grounding Problem , 1999, ArXiv.

[22]  Albrecht Schmidt,et al.  There is more to context than location , 1999, Comput. Graph..