This paper introduces a case study on an innovative based-ontology information model approach and the architecture for supporting customization, definition, deployment and management of context-aware service applications; for this purpose this paper describes some fundamental concepts that introduce the base of knowledge such as context-aware services, context information models and ontologies, paying special attention to ontology-oriented philosophy. We contribute to the research challenges in pervasive services setting the bases for a solid context information model through the study of formal ontologies and proposing the functional validation in a context-aware system that highlights the importance of formal information models.