Validation of planar partitions using constrained triangulations

Planar partitions—full tessellations of the plane into non-overlapping polygons—are frequently used in GIS to model concepts such as land cover, cadastral parcels or administrative boundaries. Since in practice planar partitions are often stored as a set of individual objects (polygons) to which attributes are attached (e.g. stored with a shapefile), and since different errors/mistakes can be introduced during their construction, manipulation or exchange, several inconsistencies will often arise in practice. The inconsistencies are for instance overlapping polygons, gaps and unconnected polygons. We present in this paper a novel algorithm to validate such planar partitions. It uses a constrained triangulation as a support for the validation, and permits us to avoid different problems that arise with existing solutions based on the construction of a planar graph. We describe in the paper the details of our algorithm, our implementation, how inconsistencies can be detected, and the experiments we have made with real-world data (the CORINE2000 dataset).

[1]  J. Shewchuk,et al.  Delaunay refinement mesh generation , 1997 .

[2]  Guy E. Blelloch,et al.  Compact representations of simplicial meshes in two and three dimensions , 2005, Int. J. Comput. Geom. Appl..

[3]  Michael A. Facello,et al.  Implementation of a randomized algorithm for Delaunay and regular triangulations in three dimensions , 1995, Comput. Aided Geom. Des..

[4]  Sisi Zlatanova,et al.  The Balance Between Geometry and Topology , 2002 .

[5]  Lutz Plümer,et al.  Provably correct and complete transaction rules for GIS , 1997, GIS '97.

[6]  Hrvoje Matijević,et al.  Transaction Processing on Planar Partition for Cadastral Application , 2008 .

[7]  W. Cao,et al.  The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, Vol. XXXVIII-4/C7 CLASSIFICATION OF HIGH RESOLUTION OPTICAL AND SAR FUSION IMAGE USING FUZZY KNOWLEDGE AND OBJECT-ORIENTED PARADIGM , 2010 .

[8]  Günter Rote,et al.  Incremental constructions con BRIO , 2003, SCG '03.

[9]  Lutz Plümer,et al.  Nested maps—a formal, provably correct object model for spatial aggregates , 1996, GIS '96.

[10]  Mariette Yvinec,et al.  Triangulations in CGAL , 2002, Comput. Geom..

[11]  Lutz Plümer,et al.  Achieving Integrity in Geographic Information Systems—Maps and Nested Maps , 1997, GeoInformatica.

[12]  Michael Ian Shamos,et al.  Geometric intersection problems , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[13]  Jan W. van Roessel,et al.  A new approach to plane-sweep overlay: topological structuring and line-segment classification , 1991 .

[14]  Ernst P. Mücke A Robust Implementation for Three-Dimensional Delaunay Triangulations , 1998, Int. J. Comput. Geom. Appl..

[15]  Mark de Berg,et al.  Computational geometry: algorithms and applications , 1997 .