Topological Relations Between Regions with Holes

The 4-intersection, a model for the representation of topological relations between 2-dimensional objects with connected boundaries and connected interiors, is extended to cover topological relations between 2-dimensional objects with arbitrary holes, called regions with holes. Each region with holes is represented by its generalized region—the union of the object and its holes — and the closure of each hole. The topological relation between two regions with holes, A and B, is described by the set of all individual topological relations between (1) A ’s generalized region and B’s generalized region, (2) A ’s generalized region and each of B’s holes, (3) B’s generalized region with each of A ’s holes, and (4) each of A ’s holes with each of B’s holes. As a side product, the same formalism applies to the description of topological relations between 1-spheres. An algorithm is developed that minimizes the number of individual topological relations necessary to describe a configuration completely. This model of representing complex topological relations is suitable for a multi-level treatment of topological relations, at the least detailed level of which the relation between the generalized regions prevails. It is shown how this model applies to the assessment of consistency in multiple representations when, at a coarser level of less detail, regions are generalized by dropping holes.

[1]  A. Frank,et al.  Cell Graphs: A Provable Correct Method for the Storage of Geometry * , 1986 .

[2]  Terence R. Smith,et al.  Algebraic approach to spatial reasoning , 1992, Int. J. Geogr. Inf. Sci..

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

[4]  Joshua Zhexue Huang,et al.  Geo-SAL: A Query Language for Spatial Data Analysis , 1991, SSD.

[5]  MAX J. EGENHOFER,et al.  Point Set Topological Relations , 1991, Int. J. Geogr. Inf. Sci..

[6]  Michael F. Worboys,et al.  A Canonical Model for a Class of Areal Spatial Objects , 1993, SSD.

[7]  Nectaria Tryfona,et al.  A Model for Expressing topological Integrity Constraints in Geographic Databases , 1992, Spatio-Temporal Reasoning.

[8]  R. Ho Algebraic Topology , 2022 .

[9]  R. McMaster,et al.  Map Generalization: Making Rules for Knowledge Representation , 1991 .

[10]  Sabine Timpf,et al.  A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction , 1992, Spatio-Temporal Reasoning.

[11]  S. de Hoop,et al.  Storage and manipulation of topology in Postgres. , 1992 .

[12]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[13]  Alan K. Mackworth Consistency in Networks of Relations , 1977, Artif. Intell..

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

[15]  Max J. Egenhofer,et al.  Topological spatial relations based on components and dimensions of set intersections , 1993, Other Conferences.

[16]  John R. Herring,et al.  The Mathematical Modeling of Spatial and Non-Spatial Information in Geographic Information Systems , 1991 .

[17]  Max J. Egenhofer,et al.  Definitions of Line-Line Relations for Geographic Databases , 1993, IEEE Data Eng. Bull..

[18]  Ralf Hartmut Güting,et al.  Realms: A Foundation for Spatial Data Types in Database Systems , 1993, SSD.

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

[20]  Alexandroff.,et al.  Elementary concepts in Topology , 1932 .

[21]  N. Hazelton,et al.  Topological structures for 4-dimensional geographic information systems , 1992 .

[22]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[23]  Andrew U. Frank,et al.  A Topological Data Model for Spatial Databases , 1990, SSD.