Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-19T21:11:22.919Z Has data issue: false hasContentIssue false
  • English
  • Français

Specifying ubiquitous systems through the algebra of contextualized ontologies

Published online by Cambridge University Press:  21 March 2014

Isabel Cafezeiro ,
José Viterbo ,
Alexandre Rademaker ,
Edward Hermann Haeusler  and
Markus Endler
Isabel Cafezeiro
Affiliation:
Departamento de Ciência da Computação, Universidade Federal Fluminense, Niterói, Brasil; e-mail: isabel@dcc.ic.uff.br, jviterbo@ic.uff.br
José Viterbo
Affiliation:
Departamento de Ciência da Computação, Universidade Federal Fluminense, Niterói, Brasil; e-mail: isabel@dcc.ic.uff.br, jviterbo@ic.uff.br
Alexandre Rademaker
Affiliation:
Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail: markus.endler@gmail.com, arademaker@inf.puc-rio.br, hermann@inf.puc-rio.br, endler@inf.puc-rio.br
Edward Hermann Haeusler
Affiliation:
Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail: markus.endler@gmail.com, arademaker@inf.puc-rio.br, hermann@inf.puc-rio.br, endler@inf.puc-rio.br
Markus Endler
Affiliation:
Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail: markus.endler@gmail.com, arademaker@inf.puc-rio.br, hermann@inf.puc-rio.br, endler@inf.puc-rio.br
Get access Rights & Permissions [Opens in a new window]

Abstract

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 specification uses the Algebra of Contextualized Ontologies, which is based on Category Theory and takes contextualization as a basic notion, proposing a small set of simple and powerful operations to compose and decompose contextualized ontologies. In this paper, we present a revised version of the algebra and algorithms to compute the algebraic operations. We exemplify our approach along with a concrete ubiquitous computing scenario. Moreover, by taking advantage of Category Theory foundations, we show that it is possible to derive the algorithms for each algebraic operation from simple modifications of a single basic algorithm.

Type
Articles
Information
The Knowledge Engineering Review , Volume 29 , Issue 2 , March 2014 , pp. 171 - 185
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F. (eds). 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.Google Scholar
Birkedal, L., Debois, S., Elsborg, E., Hildebrandt, T., Niss, H. 2005. Bigraphical Models of Context-aware Systems. Technical report, TR-2005-74, The IT University of Copenhagen.CrossRefGoogle Scholar
Borgida, A., Serafini, L. 2003. Distributed description logics: assimilating information from peer sources. Journal of Data Semantics 1, 153–184.Google Scholar
Cafezeiro, I., Haeusler, E. H., Rademaker, A. 2008a. Ontology and context. In Proceedings of COMOREA 2008, Hong Kong, 417–422.Google Scholar
Cafezeiro, I., Viterbo, J., Rademaker, A., Haeusler, E. H., Endler, M. 2008b. A formal framework for understanding context-aware behavior in ubiquitous computing. In Proceedings of ISOLA 2008, Kassandra, Chalkidiki, Greece.Google Scholar
Cafezeiro, I., Viterbo, J., Rademaker, A., Hauesler, E. H., Endler, M. 2009. Designing ubiquitous applications: proposal of a specification environment. In MUCS'09, 17–26, ACM, New York, NY, USA.Google Scholar
Julien, C., Payton, J., Roman, G. C. 2003. Reasoning about context-awareness in the presence of mobility. In Proceedings of FOCLASA03, Marseille, France.Google Scholar
Julien, C., Roman, G. C. 2002. Egocentric context-aware programming in ad hoc mobile environments, In SIGSOFT ‘02/FSE-10, 21–30, ACM, New York, NY, USA.CrossRefGoogle Scholar
Lopes, A., Fiadeiro, L. (eds) 2005. Context-awareness in software architectures. In Proceedings of EWSA 2005, Pisa, Italy. Springer-Verlag.Google Scholar
Maedche, E., Staab, S. 2001. Ontology learning for the semantic web. IEEE Intelligent Systems 16, 72–79.Google Scholar
Rademaker, A., Haeusler, E. H. 2008. Toward short and structural reasoning explanations: a sequent calculus approach. In Advances in Artificial Intelligence - SBIA 2008, Zaverucha, G. & da Costa, A. C. P. L. (eds), Lecture Notes in Artificial Intelligence 5249, 167–176. Springer.Google Scholar
Roman, G. C., Julien, C., Payton, J. 2004. A formal treatment of context awareness. In Proceedings of FASE'04, Lecture Notes in Artificial Intelligence 2984, 12–36. Barcelona, Spain.Google Scholar
Weiser, M. 1991. The computer for the twenty-first century. Scientific American 265, 94–104.CrossRefGoogle Scholar
Yan, L., Sere, K. 2004. A Formalism for context-aware mobile computing. In Proceedings of 3rd IEEE HeteroPar, Cork, Ireland.Google Scholar
Zimmermann, A., Krötzsch, M., Euzenat, J., Hitzler, P. 2006. Formalizing ontology alignment and its operations with category theory. In Proceedings of FOIS 2006 in Frontiers in Artificial Intelligence and Applications, Baltimore, MD, USA, 277–288. IOS Press.Google Scholar