Isabel Cafezeiro

Learn More
This paper considers a formal framework to contextualize ontologies and presents a formal algebra to manipulate these entities providing several ways of composing ontologies, contexts or both. The algebra gives the flexibility that is required to model applications where the meaning of an entity depends on environment constraints or where dynamic changes in(More)
A formal framework to contextualize ontologies, proposed in [3], provides several ways of composing ontologies, contexts or both. The proposed algebra can be used to model applications in which the meaning of an entity depends on environment constraints or where dynamic changes in the environment have to be considered. In this article we use this algebra to(More)
In order to be able to specify and design ubiquitous applications, it is necessary to rely on a precise and formal representation of context. Aiming at reducing the gap between the formal specification and the design of a concrete ubiquitous application, we have proposed an approach to specify a context-aware system at three levels of abstraction. This(More)
In ubiquitous applications, where the meaning of an entity, such as a user or service, depends on environment-specific constraints and dynamic changes in the environment have to be considered in all stages of development, the separation between the system's behaviour and its context representation (a.k.a. context model) is essential for facilitating the(More)
  • 1