Computational geometry: an introduction
Computational geometry: an introduction
Introduction to Solid Modeling
Introduction to Solid Modeling
Computer graphics: principles and practice (2nd ed.)
Computer graphics: principles and practice (2nd ed.)
Geometric modeling (2nd ed.)
Nested maps—a formal, provably correct object model for spatial aggregates
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Provably correct and complete transaction rules for GIS
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
TIN Meets CAD - Extending the TIN Concept in GIS
ICCS '02 Proceedings of the International Conference on Computational Science-Part III
Exploiting 2D concepts to achieve consistency in 3D GIS applications
GIS '03 Proceedings of the 11th ACM international symposium on Advances in geographic information systems
Graphs, Networks and Algorithms (Algorithms and Computation in Mathematics)
Graphs, Networks and Algorithms (Algorithms and Computation in Mathematics)
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
Hi-index | 0.00 |
Consistency is a crucial prerequisite for a large number of relevant applications of 3D city models, which have become more and more important in GIS. Users need efficient and reliable consistency checking tools in order to be able to assess the suitability of spatial data for their applications. In this paper we provide the theoretical foundations for such tools by defining an axiomatic characterization of 3D city models. These axioms are effective and efficiently supported by recent spatial database management systems and methods of Computational Geometry or Computer Graphics. They are equivalent to the topological concept of the 3D city model presented in this paper, thereby guaranteeing the reliability of the method. Hence, each error is detected by the axioms, and each violation of the axioms is in fact an error. This property, which is proven formally, is not guaranteed by existing approaches. The efficiency of the method stems from its locality: in most cases, consistency checks can safely be restricted to single components, which are defined topologically. We show how a 3D city model can be decomposed into such components which are either topologically equivalent to a disk, a sphere, or a torus, enabling the modeling of the terrain, of buildings and other constructions, and of bridges and tunnels, which are handles from a mathematical point of view. This enables a modular design of the axioms by defining axioms for each topological component and for the aggregation of the components. Finally, a sound, consistent concept for aggregating features, i.e. semantical objects like buildings or rooms, to complex features is presented.