Middleware for User Controlled Environments

Authors:
Bill Keller;Tim Owen;Ian Wakeman;Julie Weeds;David Weir
Affiliations:
University of Sussex;University of Sussex;University of Sussex;University of Sussex;University of Sussex
Venue:
PERCOMW '05 Proceedings of the Third IEEE International Conference on Pervasive Computing and Communications Workshops
Year:
2005

Citing 8
Cited 1

Conflicts in Policy-Based Distributed Systems Management

IEEE Transactions on Software Engineering
OIL: An Ontology Infrastructure for the Semantic Web

IEEE Intelligent Systems
The Ponder Policy Specification Language

POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Using Event Calculus to Formalise Policy Specification and Analysis

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Semantically driven service interoperability for pervasive computing

Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile access
An infrastructure for context-awareness based on first order logic

Personal and Ubiquitous Computing
The Description Logic Handbook

The Description Logic Handbook

Discovering modalities for adaptive multimodal interfaces

interactions - A contradiction in terms?

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we describe the middleware that has evolved from our attempt to capture user descriptions of policies controlling devices and services from natural language. Description Logic (DL) provides a formal link between the natural language processing, the ontology and the middleware. We show that the use of a formalism such as DL opens useful avenues to detecting and resolving conflicts in policies, both in formulation and when resolving them against incoming events and requests. We finish by arguing that pervasive middleware needs to move closer to the usersý abstractions to provide a service for what will be a highly dynamic environment.