Controlling real world pervasive environments with knowledge bases

Authors:
Atif Alvi;Zubair Nabi;David Greaves;Rashid Mehmood
Affiliations:
Computer Science Department, Lahore University of Management Sciences, Pakistan;Computer Science Department, Lahore University of Management Sciences, Pakistan;Computer Laboratory, University of Cambridge, UK;School of Engineering, Swansea University, UK
Venue:
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Year:
2010

Citing 11
Cited 0

The Feature and Service Interaction Problem in Telecommunications Systems: A Survey

IEEE Transactions on Software Engineering
The computer for the 21st century

ACM SIGMOBILE Mobile Computing and Communications Review - Special issue dedicated to Mark Weiser
Location Systems for Ubiquitous Computing

Computer
Mobile learning: A framework and evaluation

Computers & Education
Grid-Level Computing Needs Pervasive Debugging

GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
Checkable Domain Management with Ontology and Rules

ICIW '08 Proceedings of the 2008 Third International Conference on Internet and Web Applications and Services
Using a .NET Checkability Profile to Limit Interactions between Embedded Controllers

SENSORCOMM '08 Proceedings of the 2008 Second International Conference on Sensor Technologies and Applications
Realizing the CDL Cross-Domain Language in the Ponder2 Policy Framework: Experiences and Research Directions

POLICY '09 Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks
Querying the semantic web with SWRL

RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Encyclopedia of Database Systems

Encyclopedia of Database Systems
Supporting rule system interoperability on the semantic web with SWRL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Quantified Score

Hi-index	0.01

Visualization

Abstract

With the ever increasing popularity of mobile devices and the widespread deployment of different types of networks, pervasive environments have truly arrived. Although such environments are already being utilised to provide services based on the available data, the modelled domain knowledge is generally not formally verified for consistency and applicability within and across domains. This paper presents our knowledge-based verification and control approach and shows its need and effectiveness. In our system model, policies in the form of rules are authored at different levels of abstraction at different layers in the policy hierarchy. Top level rules are written in first-order predicate logic based on a formal ontology of the domain. Detection and resolution of feature interactions (or conflicts) is an important task in the policy hierarchy. Our running example is the pervasive mobile learning environment of a university campus. Our approach is easily and equally applicable to other pervasive environments.