Reasoning with Topological and Directional Spatial Information