A Formal Context Representation Framework for Network-Enabled Cognition

Network-accessible resources are inherently contextual with respect to the specific situations (e.g., location and default assumptions) in which they are used. Therefore, the explicit conceptualization and representation of contexts is required to address a number of problems in Network- Enabled Cognition (NEC). We propose a context representation framework to address the computational specification of contexts. Our focus is on developing a formal model of context for the unambiguous and effective delivery of data and knowledge, in particular, for enabling forms of automated inference that address contextual differences between agents in a distributed network environment. We identify several components for the conceptualization of contexts within the context representation framework. These include jurisdictions (which can be used to interpret contextual data), semantic assumptions (which highlight the meaning of data), provenance information and inter-context relationships. Finally, we demonstrate the application of the context representation framework in a collaborative military coalition planning scenario. We show how the framework can be used to support the representation of plan-relevant contextual information.

[1]  Mark Fischetti,et al.  Weaving the web - the original design and ultimate destiny of the World Wide Web by its inventor , 1999 .

[2]  Sasa Buvac Quantificational Logic of Context , 1996, AAAI/IAAI, Vol. 1.

[3]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[4]  R. Guha Contexts: a formalization and some applications , 1992 .

[5]  Jeremy J. Carroll,et al.  Named graphs, provenance and trust , 2005, WWW '05.

[6]  Paul R. Smart,et al.  The Network-Extended Mind , 2010 .

[7]  Bernhard Mitschang,et al.  Context-Aware Mashups for Mobile Devices , 2008, WISE.

[8]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[9]  J. McCarthy,et al.  Formalizing Context (Expanded Notes) , 1994 .

[10]  Heiko Stoermer,et al.  Introducing Context into Semantic Web Knowledge Databases , 2006, CAiSE.

[11]  Vasant Honavar,et al.  On the Semantics of Linking and Importing in Modular Ontologies , 2006, SEMWEB.

[12]  Varol Akman,et al.  Steps Toward Formalizing Context , 1996, AI Mag..

[13]  Ian A. Mason,et al.  Propositional Logic of Context , 1993, AAAI.

[14]  Deborah L. McGuinness,et al.  Contextualized RDF Importing , 2010 .

[15]  Deborah L. McGuinness,et al.  PML 2: A Modular Explanation Interlingua , 2007, ExaCt.

[16]  Paolo Bouquet,et al.  A Context-Based Architecture for RDF Knowledge Bases: Approach, Implementation and Preliminary Results , 2007, RR.

[17]  Chris Hanson,et al.  Using Dependency Tracking to Provide Explanations for Policy Management , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[18]  Elena Paslaru Bontas Context representation and usage for the semantic web , 2004 .

[19]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[20]  Deborah L. McGuinness,et al.  A proof markup language for Semantic Web services , 2006, Inf. Syst..

[21]  Ian A. Mason,et al.  The Semantics of Propositional Contexts , 1994, ISMIS.

[22]  Heiko Stoermer Introducing Context into Semantic Web Knowledge Bases , 2006 .

[23]  Ramanathan V. Guha,et al.  Contexts for the Semantic Web , 2004, SEMWEB.

[24]  M. de Rijke,et al.  Frontiers of Combining Systems 2 , 1999 .

[25]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[26]  William Loyola Comparison of Approaches toward Formalising Context: Implementation Characteristics and Capacities , 2007 .

[27]  Luciano Serafini,et al.  Comparing formal theories of context in AI , 2004, Artif. Intell..

[28]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[29]  Changhoon Lee,et al.  Context-Aware Middleware and Intelligent Agents for Smart Environments , 2010, IEEE Intell. Syst..

[30]  Patrick Brézillon Context in Artificial Intelligence II. Key Elements of Contexts , 1999, Comput. Artif. Intell..

[31]  Jiao Tao,et al.  Context Representation for the Semantic Web , 2010 .

[32]  Deborah L. McGuinness,et al.  Semantic History : Towards Modeling and Publishing Changes of Online Semantic Data , 2009 .

[33]  Michael Kifer,et al.  RIF Framework for Logic Dialects , 2009 .

[34]  Markus Krötzsch,et al.  Semantic Wikipedia , 2007, WWW '06.

[35]  Li Ding,et al.  Collective Cognition with Semantic Mediawiki : Lessons and Exper iences ( Extended , 2009 .

[36]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[37]  Bing Wang,et al.  Human Flesh Search Model Incorporating Network Expansion and GOSSIP with Feedback , 2009, 2009 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications.

[38]  Patrick Brézillon,et al.  Context in Artificial Intelligence: I. A Survey of the Literature , 1999, Comput. Artif. Intell..

[39]  Luciano Serafini,et al.  On the Difference between Bridge Rules and Lifting Axioms , 2003, CONTEXT.

[40]  Ian A. Mason,et al.  Metamathematics of Contexts , 1995, Fundam. Informaticae.

[41]  James A. Hendler,et al.  From the Semantic Web to social machines: A research challenge for AI on the World Wide Web , 2010, Artif. Intell..