A Naive Theory of Dimension for Qualitative Spatial Relations

We present an ontology consisting of a theory of spatial dimension and a theory of dimension-independent mereological and topological relations in space. Though both are fairly weak axiomatizations, their interplay suffices to define various 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]  Margaret M. Fleck.  The Topology of Boundaries , 2018, Artif. Intell..

[2]  Barry Smith,et al.  Fiat and Bona Fide Boundaries: Towards on Ontology of Spatially Extended Objects , 1997, COSIT.

[3]  Antony Galton.  Multidimensional Mereotopology , 2004, KR.

[4]  Eliseo Clementini,et al.  A Small Set of Formal Topological Relationships Suitable for End-User Interaction , 1993, SSD.

[5]  Torsten Hahmann,et al.  Ontology Verification with Repositories , 2010, FOIS.

[6]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .

[7]  M. Egenhofer.  Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases , 1998 .

[8]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[9]  Torsten Hahmann,et al.  Detecting Physical Defects: A Practical 2D-Study of Cracks and Holes , 2009, AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems.

[10]  Markus Schneider,et al.  Dimension-refined topological predicates , 2005, GIS '05.

[11]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[12]  Laure Vieu,et al.  Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology , 1995, IJCAI.

[13]  Ryszard Engelking,et al.  Theory of dimensions : finite and infinite , 1995 .

[14]  Raymond Reiter,et al.  A Logical Framework for Depiction and Image Interpretation , 1989, Artif. Intell..

[15]  Antony Galton.  Taking Dimension Seriously in Qualitative Spatial Reasoning , 1996, ECAI.

[16]  Michael Winter,et al.  A representation theorem for Boolean contact algebras , 2005, Theor. Comput. Sci..

[17]  Michael Winter,et al.  Stonian p-ortholattices: A new approach to the mereotopology RT0 , 2009, Artif. Intell..

[18]  Nicholas Mark GottsDivision.  Formalizing Commonsense Topology : The INCH Calculus , 1996 .