Title: Formal representations of spatial knowledge