{"id":"https://openalex.org/W2039894101","doi":"https://doi.org/10.1017/s0269888914000046","title":"Specifying ubiquitous systems through the algebra of contextualized ontologies","display_name":"Specifying ubiquitous systems through the algebra of contextualized ontologies","publication_year":2014,"publication_date":"2014-03-01","ids":{"openalex":"https://openalex.org/W2039894101","doi":"https://doi.org/10.1017/s0269888914000046","mag":"2039894101"},"language":"en","primary_location":{"id":"doi:10.1017/s0269888914000046","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888914000046","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103244946","display_name":"Isabel Cafezeiro","orcid":"https://orcid.org/0000-0003-1654-4400"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":true,"raw_author_name":"Isabel Cafezeiro","raw_affiliation_strings":["Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil; e-mail:","Departamento de Ci\u00eancia da Computa\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil;"],"affiliations":[{"raw_affiliation_string":"Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil; e-mail:","institution_ids":["https://openalex.org/I161127581"]},{"raw_affiliation_string":"Departamento de Ci\u00eancia da Computa\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil;","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011689156","display_name":"Jos\u00e9 Viterbo","orcid":"https://orcid.org/0000-0002-0339-6624"},"institutions":[{"id":"https://openalex.org/I161127581","display_name":"Universidade Federal Fluminense","ror":"https://ror.org/02rjhbb08","country_code":"BR","type":"education","lineage":["https://openalex.org/I161127581"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Viterbo","raw_affiliation_strings":["Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil; e-mail:","Departamento de Ci\u00eancia da Computa\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil;"],"affiliations":[{"raw_affiliation_string":"Departamento de Ci\u00eancia da Computa\u00e7\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil; e-mail:","institution_ids":["https://openalex.org/I161127581"]},{"raw_affiliation_string":"Departamento de Ci\u00eancia da Computa\u00e3o, Universidade Federal Fluminense, Niter\u00f3i, Brasil;","institution_ids":["https://openalex.org/I161127581"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052195291","display_name":"Alexandre Rademaker","orcid":"https://orcid.org/0000-0002-7583-0792"},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"education","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Alexandre Rademaker","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","institution_ids":["https://openalex.org/I2699952"]},{"raw_affiliation_string":"Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil","institution_ids":["https://openalex.org/I2699952"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091129860","display_name":"Edward Hermann H\u00e6usler","orcid":"https://orcid.org/0000-0002-4999-7476"},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"education","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Edward Hermann Haeusler","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","institution_ids":["https://openalex.org/I2699952"]},{"raw_affiliation_string":"Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil","institution_ids":["https://openalex.org/I2699952"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065765043","display_name":"Markus Endler","orcid":"https://orcid.org/0000-0002-8007-9817"},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"education","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Markus Endler","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil; e-mail:","institution_ids":["https://openalex.org/I2699952"]},{"raw_affiliation_string":"Departamento de Inform\u00e1tica Pontif\u00edcia, Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brasil","institution_ids":["https://openalex.org/I2699952"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5103244946"],"corresponding_institution_ids":["https://openalex.org/I161127581"],"apc_list":null,"apc_paid":null,"fwci":1.2194,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83087129,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"29","issue":"2","first_page":"171","last_page":"185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10444","display_name":"Context-Aware Activity Recognition Systems","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9916999936103821,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7679411172866821},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.6172864437103271},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6000755429267883},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5953057408332825},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.5798282027244568},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5451177954673767},{"id":"https://openalex.org/keywords/contextualization","display_name":"Contextualization","score":0.5435653924942017},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5052271485328674},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.489921510219574},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.45331501960754395},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4404003918170929},{"id":"https://openalex.org/keywords/ubiquitous-computing","display_name":"Ubiquitous computing","score":0.42169320583343506},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3355564475059509},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32701146602630615},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15187126398086548},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.1388581395149231}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7679411172866821},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.6172864437103271},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6000755429267883},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5953057408332825},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5798282027244568},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5451177954673767},{"id":"https://openalex.org/C2780712339","wikidata":"https://www.wikidata.org/wiki/Q5165204","display_name":"Contextualization","level":3,"score":0.5435653924942017},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5052271485328674},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.489921510219574},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.45331501960754395},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4404003918170929},{"id":"https://openalex.org/C172195944","wikidata":"https://www.wikidata.org/wiki/Q541265","display_name":"Ubiquitous computing","level":2,"score":0.42169320583343506},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3355564475059509},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32701146602630615},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15187126398086548},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.1388581395149231},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0269888914000046","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0269888914000046","pdf_url":null,"source":{"id":"https://openalex.org/S137506714","display_name":"The Knowledge Engineering Review","issn_l":"0269-8889","issn":["0269-8889","1469-8005"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Knowledge Engineering Review","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W4227807","https://openalex.org/W93175922","https://openalex.org/W102468273","https://openalex.org/W1506205352","https://openalex.org/W1539259921","https://openalex.org/W1555563750","https://openalex.org/W1582338788","https://openalex.org/W1589935762","https://openalex.org/W1638945901","https://openalex.org/W1834834760","https://openalex.org/W1855934725","https://openalex.org/W2063482318","https://openalex.org/W2084460805","https://openalex.org/W2088045574","https://openalex.org/W2107537985","https://openalex.org/W2115120343","https://openalex.org/W2121941844","https://openalex.org/W2127080923","https://openalex.org/W2128026023","https://openalex.org/W2132232128","https://openalex.org/W2139463847","https://openalex.org/W2152267651","https://openalex.org/W2163150616","https://openalex.org/W2167039215","https://openalex.org/W2982887048","https://openalex.org/W3146347964","https://openalex.org/W4293690910","https://openalex.org/W6678106324"],"related_works":["https://openalex.org/W1877180621","https://openalex.org/W2071986313","https://openalex.org/W4245902489","https://openalex.org/W2339541395","https://openalex.org/W2045910943","https://openalex.org/W2014569219","https://openalex.org/W1965711296","https://openalex.org/W1801366570","https://openalex.org/W1510923468","https://openalex.org/W2161912676"],"abstract_inverted_index":{"Abstract":[0],"In":[1,93],"order":[2],"to":[3,6,15,47,87,106,136],"be":[4],"able":[5],"specify":[7,48],"and":[8,20,34,71,84,89,104],"design":[9,36],"ubiquitous":[10,40,119],"applications,":[11],"it":[12,133],"is":[13,66,134],"necessary":[14],"rely":[16],"on":[17,68],"a":[18,38,49,75,79,98,117,148],"precise":[19],"formal":[21,32],"representation":[22],"of":[23,37,55,62,82,101,126,147],"context.":[24],"Aiming":[25],"at":[26,52],"reducing":[27],"the":[28,31,35,60,102,108,138],"gap":[29],"between":[30],"specification":[33,58],"concrete":[39,118],"application,":[41],"we":[42,96,130],"have":[43],"proposed":[44],"an":[45],"approach":[46,114],"context-aware":[50],"system":[51],"three":[53],"levels":[54],"abstraction.":[56],"This":[57],"uses":[59],"Algebra":[61],"Contextualized":[63],"Ontologies,":[64],"which":[65],"based":[67],"Category":[69,127],"Theory":[70,128],"takes":[72],"contextualization":[73],"as":[74],"basic":[76,150],"notion,":[77],"proposing":[78],"small":[80],"set":[81],"simple":[83,145],"powerful":[85],"operations":[86],"compose":[88],"decompose":[90],"contextualized":[91],"ontologies.":[92],"this":[94],"paper,":[95],"present":[97],"revised":[99],"version":[100],"algebra":[103],"algorithms":[105,139],"compute":[107],"algebraic":[109,142],"operations.":[110],"We":[111],"exemplify":[112],"our":[113],"along":[115],"with":[116],"computing":[120],"scenario.":[121],"Moreover,":[122],"by":[123],"taking":[124],"advantage":[125],"foundations,":[129],"show":[131],"that":[132],"possible":[135],"derive":[137],"for":[140],"each":[141],"operation":[143],"from":[144],"modifications":[146],"single":[149],"algorithm.":[151]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-01-08T20:05:33.558190","created_date":"2025-10-10T00:00:00"}