Computing and Library Services - delivering an inspiring information environment

Controlling Real World Pervasive Environments with Knowledge Bases

Alvi, Atif, Nabi, Zubair, Greaves, David J. and Mehmood, Rashid (2010) Controlling Real World Pervasive Environments with Knowledge Bases. In: Knowledge-Based and Intelligent Information and Engineering Systems. Lecture Notes in Computer Science, 6279 . Springer, pp. 576-585. ISBN 9783642153836

[img] PDF - Published Version
Restricted to Repository staff only

Download (228kB)


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.

Item Type: Book Chapter
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Schools: School of Computing and Engineering
Depositing User: Rashid Mehmood
Date Deposited: 08 Nov 2012 14:40
Last Modified: 28 Aug 2021 20:24


Downloads per month over past year

Repository Staff Only: item control page

View Item View Item

University of Huddersfield, Queensgate, Huddersfield, HD1 3DH Copyright and Disclaimer All rights reserved ©