Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
2014 Volume 29
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

Specifying ubiquitous systems through the algebra of contextualized ontologies

  • 1.

    Departamento de Ciência da Computação

  • 2.

    Departamento de Informática

More Information
  • 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.
  • 加载中
  • 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.

    Google Scholar

    Borgida A., Serafini L.2003. Distributed description logics: assimilating information from peer sources. Journal of Data Semantics1, 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 Proceedingsof 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.

    Google 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 Systems16, 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 American265, 94–104.

    Google 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

  • Cite this article

    Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler. 2014. Specifying ubiquitous systems through the algebra of contextualized ontologies. The Knowledge Engineering Review 29(2)171−185, doi: 10.1017/S0269888914000046
    Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler. 2014. Specifying ubiquitous systems through the algebra of contextualized ontologies. The Knowledge Engineering Review 29(2)171−185, doi: 10.1017/S0269888914000046
    shu
Download PDF

Article Metrics

Article views(23) PDF downloads(35)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

Specifying ubiquitous systems through the algebra of contextualized ontologies

  • 1.

    Departamento de Ciência da Computação

  • 2.

    Departamento de Informática

  • Published online: 21 March 2014
The Knowledge Engineering Review  29,  2014, 29(2): 171−185  |  Cite this article

Abstract: 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.

    HTML

    Acknowledgments

    • This work was partially supported by research grants and scholarships from the Brazilian Council for Technological and Scientific Development CNPq, numbers 303427/2010-8 and 310253/2011-0.

    • To say that D is described by an ontology means that D is defined by means of a Description Logic term-concept in this ontology.

    Rights and permissions
    • Copyright © Cambridge University Press 2014 2014Cambridge University Press
References (15)
  • About this article
    Cite this article
    Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler. 2014. Specifying ubiquitous systems through the algebra of contextualized ontologies. The Knowledge Engineering Review 29(2)171−185, doi: 10.1017/S0269888914000046
    Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler. 2014. Specifying ubiquitous systems through the algebra of contextualized ontologies. The Knowledge Engineering Review 29(2)171−185, doi: 10.1017/S0269888914000046
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return