A formal theory for spatial representation and reasoning in biomedical ontologies.

A formal theory for spatial representation and reasoning in biomedical ontologies.