Context Modeling and Reasoning using Ontologies ( July 2007 )