Use this URL to cite or link to this record in EThOS:
Title: Controlling pervasive domains with ontologies and rules
Author: Alvi, A.
Awarding Body: University of Cambridge
Current Institution: University of Cambridge
Date of Award: 2008
Availability of Full Text:
Full text unavailable from EThOS.
Please contact the current institution’s library for further details.
Control of pervasive computing environments is a well-known problem. Such environments, or domains, are rich in different types of hardware and software that need to somehow interoperate almost invisibly. Realizing this harmony requires an intelligent application of domain management techniques. Our system, AutoHAN, is one such prototype system that aims to enable automation with respect to applications and resources and has used the home domain as a reference framework without loss of generality. Applications are allowed to enter a domain only after their behaviour has been formally verified not to conflict with that of other applications or to violate the pre-defined rules shaping domain behaviour. My research focuses on modelling domains and the accompanying rules in an ontology substrate. The ontology is itself expressed in first-order logic and hence enjoys classification and reasoning support. A salient feature of this system is what we call rehydration: transforming generic applications into domain-specific ones. Overall, this design allows reliable control of the domain free from unintended interactions.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available