A Naive Theory of Dimension for Qualitative Spatial Relations
Torsten Hahmann, Michael Grüninger · 2011
We present an ontology consisting of a theory of spatial di-mension and a theory of dimension-independent mereologi-cal and topological relations in space. Though both are fairly weak axiomatizations, their interplay suffices to define var-ious mereotopological relations and to make any necessary dimension constraints explicit. We show that models of the INCH Calculus and the Region-Connection Calculus (RCC) can be obtained from extensions of the proposed ontology. 1