Proceedings of the 4th conference on Logic programming '85
A formal definition of binary topological relationships
3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
Computer graphics: principles and practice (2nd ed.)
Computer graphics: principles and practice (2nd ed.)
Spatial tessellations: concepts and applications of Voronoi diagrams
Spatial tessellations: concepts and applications of Voronoi diagrams
Provably correct and complete transaction rules for GIS
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
TIN Meets CAD - Extending the TIN Concept in GIS
ICCS '02 Proceedings of the International Conference on Computational Science-Part III
Geometric Modeling
Conceptual spatial representations for indoor mobile robots
Robotics and Autonomous Systems
Updating 3D city models: how to preserve geometric-topological consistency
Proceedings of the 17th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
How to achieve consistency for 3D city models
Geoinformatica
| Hi-index | 0.01 |
The shapes of our cities change very frequently. These changes have to be reflected in data sets representing urban objects. However, it must be assured that frequent updates do not affect geometric-topological consistency. This important aspect of spatial data quality guarantees essential assumptions on which users and applications of 3D city models rely: viz. that objects do not intersect, overlap or penetrate mutually, or completely cover one another. This raises the question how to guarantee that geometric-topological consistency is preserved when data sets are updated. Hence, there is a certain risk that plans and decisions which are based on these data sets are erroneous and that the tremendous efforts spent for data acquisition and updates become vain. In this paper, we solve this problem by presenting efficient transaction rules for updating 3D city models. These rules guarantee that geometric-topological consistency is preserved (Safety) and allow for the generation of arbitrary consistent 3D city models (Completeness). Safety as well as completeness is proven with mathematical rigor, guaranteeing the reliability of our method. Our method is applicable to 3D city models, which define--besides the terrain surface--complex spatial objects like buildings with rooms and storeys as interior structures, as well as bridges and tunnels. Those objects are represented as aggregations of solids, and their surfaces are complex from a topology point of view. 3D GIS models like CityGML, which are widely used to represent cities, provide the means to define semantics, geometry and topology, but do not address the problem of maintaining consistency. Hence, our approach complements CityGML.