Knowledge-Based Spatial Reasoning for IoT-Enabled Smart City Applications | IEEE Conference Publication | IEEE Xplore