{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:27:26Z","timestamp":1767637646791,"version":"3.48.0"},"reference-count":15,"publisher":"Maximum Academic Press","issue":"2","license":[{"start":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T00:00:00Z","timestamp":1395360000000},"content-version":"unspecified","delay-in-days":20,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2014,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>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.<\/jats:p>","DOI":"10.1017\/s0269888914000046","type":"journal-article","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T11:20:53Z","timestamp":1395400853000},"page":"171-185","source":"Crossref","is-referenced-by-count":6,"title":["Specifying ubiquitous systems through the algebra of contextualized ontologies"],"prefix":"10.48130","volume":"29","author":[{"given":"Isabel","family":"Cafezeiro","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Viterbo","sequence":"additional","affiliation":[]},{"given":"Alexandre","family":"Rademaker","sequence":"additional","affiliation":[]},{"given":"Edward Hermann","family":"Haeusler","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Endler","sequence":"additional","affiliation":[]}],"member":"27968","published-online":{"date-parts":[[2014,3,21]]},"reference":[{"key":"S0269888914000046_ref14","unstructured":"Yan L. , Sere K. 2004. A Formalism for context-aware mobile computing. In Proceedings of 3rd IEEE HeteroPar, Cork, Ireland."},{"key":"S0269888914000046_ref5","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/978-3-540-88479-8_37"},{"key":"S0269888914000046_ref6","doi-asserted-by":"crossref","unstructured":"Cafezeiro I. , Viterbo J. , Rademaker A. , Hauesler E. H. , Endler M. 2009. Designing ubiquitous applications: proposal of a specification environment. In MUCS'09, 17\u201326, ACM, New York, NY, USA.","DOI":"10.1145\/1555321.1555327"},{"key":"S0269888914000046_ref4","doi-asserted-by":"crossref","unstructured":"Cafezeiro I. , Haeusler E. H. , Rademaker A. 2008a. Ontology and context. In Proceedings of COMOREA 2008, Hong Kong, 417\u2013422.","DOI":"10.1109\/PERCOM.2008.21"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","author":"Baader","key":"S0269888914000046_ref1"},{"key":"S0269888914000046_ref13","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican0991-94"},{"key":"S0269888914000046_ref11","doi-asserted-by":"crossref","unstructured":"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\u2013176. Springer.","DOI":"10.1007\/978-3-540-88190-2_22"},{"key":"S0269888914000046_ref12","doi-asserted-by":"crossref","unstructured":"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\u201336. Barcelona, Spain.","DOI":"10.1007\/978-3-540-24721-0_2"},{"key":"S0269888914000046_ref2","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/11690634_13"},{"key":"S0269888914000046_ref7","unstructured":"Julien C. , Payton J. , Roman G. C. 2003. Reasoning about context-awareness in the presence of mobility. In Proceedings of FOCLASA03, Marseille, France."},{"key":"S0269888914000046_ref15","unstructured":"Zimmermann A. , Kr\u00f6tzsch 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\u2013288. IOS Press."},{"key":"S0269888914000046_ref8","doi-asserted-by":"crossref","unstructured":"Julien C. , Roman G. C. 2002. Egocentric context-aware programming in ad hoc mobile environments, In SIGSOFT \u201802\/FSE-10, 21\u201330, ACM, New York, NY, USA.","DOI":"10.1145\/587051.587056"},{"key":"S0269888914000046_ref3","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1007\/978-3-540-39733-5_7","article-title":"Distributed description logics: assimilating information from peer sources","volume":"1","author":"Borgida","year":"2003","journal-title":"Journal of Data Semantics"},{"key":"S0269888914000046_ref9","doi-asserted-by":"crossref","unstructured":"Lopes A. , Fiadeiro L. (eds) 2005. Context-awareness in software architectures. In Proceedings of EWSA 2005, Pisa, Italy. Springer-Verlag.","DOI":"10.1007\/11494713_10"},{"key":"S0269888914000046_ref10","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920602"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888914000046","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:41:56Z","timestamp":1767624116000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888914000046\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,3]]}},"alternative-id":["S0269888914000046"],"URL":"https:\/\/doi.org\/10.1017\/s0269888914000046","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[2014,3]]}}}