A boundary-sensitive approach to qualitative location

Reasoning about the location of regions in 2-dimensional space is necessarily based on finite approximations to such regions. These finite approximations are often derived by describing how a region (the figure) relates to a frame of reference (the ground). The frame of reference generally consists of regions, or cells, forming a partition of the space under consideration. This paper presents a new approach to describing figure-ground relationships which is able to take account of how the figure relates to boundaries between cells as well as to their interiors. We also provide a general theory of how approximations to regions lead to approximations to operations on regions. This theory is applied to the case of our boundary-sensitive model of location. The paper concludes by indicating how interpreting boundaries in a more general sense should lead to a theory dealing with generalized partitions in which the cells may overlap. The applications of the theory developed here will include qualitative spatial reasoning, and should have practical relevance to geographical information systems.

[1]  Monika Lundell,et al.  A Qualitative Model of Physical Fields , 1996, AAAI/IAAI, Vol. 2.

[2]  Antony Galton,et al.  Modes of Overlap , 1998, J. Vis. Lang. Comput..

[3]  Anthony G. Cohn,et al.  Calculi for Qualitative Spatial Reasoning , 1996, AISMC.

[4]  Bowman L. Clarke,et al.  Individuals and points , 1985, Notre Dame J. Formal Log..

[5]  Max J. Egenhofer,et al.  On the Equivalence of Topological Relations , 1995, Int. J. Geogr. Inf. Sci..

[6]  Michael F. Worboys,et al.  The Algebraic Structure of Sets of Regions , 1997, COSIT.

[7]  B. L. Clark.  Individuals and points. , 1985 .

[8]  M. Egenhofer,et al.  Point-Set Topological Spatial Relations , 2001 .

[9]  J. Kacprzyk,et al.  Incomplete Information: Rough Set Analysis , 1997 .

[10]  Stefan Friedrich,et al.  Topology , 2019, Arch. Formal Proofs.

[11]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[12]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

[13]  Thomas Bittner,et al.  A Qualitative Coordinate Language of Location of Figures within the Ground , 1997, COSIT.

[14]  John G. Stell,et al.  Stratified Map Spaces: A Formal Basis for Multi-resolution Spatial Databases , 2001 .

[15]  Bowman L. Clarke,et al.  A calculus of individuals based on "connection" , 1981, Notre Dame J. Formal Log..

[16]  A. Cohn,et al.  A connection based approach to common-sense topological description and reasoning , 1996 .

[17]  Samson Abramsky,et al.  Handbook of logic in computer science. , 1992 .

[18]  Markus Schneider,et al.  Partition and Conquer , 1997, COSIT.

[19]  Eliseo Clementini,et al.  Approximate topological relations , 1997, Int. J. Approx. Reason..