Towards a Rigorous Logic for Spatial Data Representation by