Checkable Domain Management with Ontology and Rules

Control of pervasive computing environments is a well- known problem. Such management has to tackle issues of heterogeneity, dynamic binding, interoperability, security, and scalability, among others. The approach used in our AutoHAN home automation system is presented here. It employs a high-level rule-based control atop an ontological substrate, interacting with an application-level layer of rules. This design allows formalised representation of a domain, which lends itself to checkability, along with its reliable control. We discuss the implementation and characteristics of our approach.

[1]  Umar Saif,et al.  Internet Access to a Home Area Network , 2001, IEEE Internet Comput..

[2]  Dj Greaves.  Pushlogic SPL1 Language Reference Manual (draft). Updated - January 2007 , 2009 .

[3]  Paul Dourish,et al.  Yesterday’s tomorrows: notes on ubiquitous computing’s dominant vision , 2007, Personal and Ubiquitous Computing.

[4]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[5]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[6]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[7]  Roy H. Campbell,et al.  Use of Ontologies in Pervasive Computing Environments , 2003 .

[8]  Mark Weiser,et al.  The computer for the 21st Century , 1991, IEEE Pervasive Computing.

[9]  Benjamin N. Grosof,et al.  Supporting Rule System Interoperability on the Semantic Web with SWRL , 2005, SEMWEB.

[10]  Francesco Furfari,et al.  DomoML-env: an ontology for Human Home Interaction , 2005, SWAP.

[11]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[12]  Samson W. Tu,et al.  Querying the Semantic Web with SWRL , 2007, RuleML.

[13]  David J. Greaves,et al.  A logical approach to home automation , 2006 .

[14]  Trevor J. M. Bench-Capon,et al.  METHODOLOGIES FOR ONTOLOGY DEVELOPMENT , 2007 .

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

[16]  Hari Balakrishnan,et al.  The design and implementation of an intentional naming system , 1999, SOSP.

[17]  W. Keith Edwards,et al.  At Home with Ubiquitous Computing: Seven Challenges , 2001, UbiComp.

[18]  Schubert Foo,et al.  Ontology research and development. Part 1 - a review of ontology generation , 2002, J. Inf. Sci..

[19]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[20]  Christos Goumopoulos,et al.  An ontology-based context management and reasoning process for UbiComp applications , 2005, sOc-EUSAI '05.

[21]  Daniel Gordon,et al.  Using Simple Pushlogic , 2006, WEBIST.

[22]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.