A Formal Theory for Spatial Representation and Reasoning in Biomedical Ontologies - Donnelly, M; Bittner, T; Rosse, C (AI Med, 2005)