Integrating Knowledge Representation and Reasoning in Geographical Information Systems