Spatial and Temporal Reasoning in Geographic Information Systems