Knowledge-Based Reasoning on Semantic Maps