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)
This article proposes a framework for deening programming languages paradigms. The main idea is the existence of various levels of abstraction over the notion of programs with inputs. Categorical language and the concept of sheaf are used in order to obtain an approach for a mathematical dee-nition of programming languages paradigms based a geometric(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