Maureen Donnelly Thomas Bittner Cornelius Rosse A formal theory for spatial representation and reasoning in biomedical ontologies. 1-27 2006 36 Artificial Intelligence in Medicine 1 http://dx.doi.org/10.1016/j.artmed.2005.07.004 db/journals/artmed/artmed36.html#DonnellyBR06