Towards a Rigorous Logic for Spatial Data Representation