"A Semantic Approach to Constraint-Based Reasoning in Geographical Domains"