An ontology for context-aware pervasive computing environments
A Spatial Logic based on Regions and Connection