The domain of ubiquitous computing is flooded with a vast number of services, which although share similar functionalities, fail in easy integration and composition. The efforts in providing an integration framework for these services employs software product line engineering to capture variations and commonalities across these services. These approaches however fall short in that they are either incapable of capturing nonfunctional requirements or are non-evolutionary in response to the changes in functional and nonfunctional requirements of the ever-changing domain of ubicomp. In this paper, we propose annotation of feature models with ontologies covering non-functional requirements to increase the flexibility and expandability of such systems. In our approach, we also use ontologies for annotation and expansion of feature models. We show how this allows formalization of nonfunctional requirements through logical foundations and enables reasoning and product consistency check with respect to features and their corresponding components.