An Ontology-Based Approach to Context Modeling and Reasoning in Pervasive Computing | Synapse