Implementing Ubiquitous Services with Ontologies: Methodology and Case Study