Specifying ubiquitous systems through the algebra of contextualized ontologies