A Theory for Qualitative Spatial Reasoning Based on Order Relations.