The topo-approach to spatial representation and reasoning