The Use of Formal Ontology to Specify Context in Ubiquitous Computing

Although context-awareness is a central paradigm for the implementation of ubiquitous systems, it still lacks adequate representation models, methods and tools that support the development of such systems. Particularly, in order to secure interoperability and allow device interaction, software applications are required to provide unambiguous data and device representation models. In this paper we argue in favor of the use of formal ontology as the tool to formalize the notion of context, describe the interplay between systems and environments and, ultimately, enable verification. Ontologies allow machines to process and integrate devices intelligently, enable quick and accurate search, facilitate communication between a multitude of heterogeneous devices and enable reasoning [22].

[1]  J. Soldatos,et al.  An ontology-based framework for dynamic resource management in ubiquitous computing environments , 2005, Second International Conference on Embedded Software and Systems (ICESS'05).

[2]  John Soldatos,et al.  A breadboard architecture for pervasive context-aware services in smart spaces: middleware components and prototype applications , 2007, Personal and Ubiquitous Computing.

[3]  Sang-Rok Oh,et al.  CAMUS: a middleware supporting context-aware services for network-based robots , 2005, IEEE Workshop on Advanced Robotics and its Social Impacts, 2005..

[4]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[5]  Markus Endler,et al.  MoCA: A Middleware for Developing Collaborative Applications for Mobile Users , 2004, IEEE Distributed Syst. Online.

[6]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[7]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[8]  R. Carnap.  The methodological character of theoretical concepts , 1956 .

[9]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[10]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[11]  N. Guarino,et al.  Formal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, Italy , 1998 .

[12]  Dieter Fensel,et al.  Towards the Semantic Web: Ontology-driven Knowledge Management , 2002 .

[13]  Stuart C. Shapiro.  Review of Knowledge representation: logical, philosophical, and computational foundations by John F. Sowa. Brooks/Cole 2000. , 2001 .

[14]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[15]  H. Feigl,et al.  Minnesota studies in the philosophy of science , 1956 .

[16]  Harry Chen,et al.  An Intelligent Broker Architecture for Pervasive Context-Aware Systems , 2004 .

[17]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[18]  Umberto Eco,et al.  A theory of semiotics , 1976, Advances in semiotics.

[19]  James A. Hendler,et al.  A Portrait of the Semantic Web in Action , 2001, IEEE Intell. Syst..

[20]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[21]  Amal El Fallah Seghrouchni,et al.  Ambient Intelligence Applications: Introducing the Campus Framework , 2008, 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008).

[22]  Markus Endler,et al.  Ambient Intelligence : Management of Distributed and Heterogeneous Context Knowledge , 2008 .