Abstract
Computations in geographic space are necessarily based on discrete versions of space, but much of the existing work on the foundations of GIS assumes a continuous infinitely divisible space. This is true both of quantitative approaches, using ℝn, and qualitative approaches using systems such as the Region-Connection Calculus (RCC). This paper shows how the RCC can be modified so as to permit discrete spaces by weakening Stell’s formulation of RCC as Boolean connection algebra to what we now call a connection algebra. We show how what was previously considered a problem—with atomic regions being parts of their complements—can be resolved, but there are still obstacles to the interplay between parthood and connection when there are finitely many regions. Connection algebras allow regions that are atomic and also regions that are boundaries of other regions. The modification of the definitions of the RCC5 and RCC8 relations needed in the context of a connection algebra are discussed. Concrete examples of connection algebras are provided by abstract cell complexes. In order to place our work in context we start with a survey of previous approaches to discrete space in GIS and related areas.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Egenhofer, M.J., Franzosa, R.: Point-set topological spatial relations. International Journal of Geographical Information Systems 5 (1991) 161–174
Egenhofer, M.J., Herring, J.R.: Categorizing binary topological relations between regions, lines and points in geographic databases. Technical report, Department of Surveying Engineering, University of Maine (1991)
Egenhofer, M.J., Franzosa, R.: On the equivalence of topological relations. International Journal of Geographical Information Systems 9 (1995) 133–152
Randall, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In Nebel, B., Rich, C., Swartout, W., eds.: Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference (KR92), Morgan Kaufmann (1992) 165–176
Stell, J.G.: Boolean connection algebras: A new approach to the region-connection calculus. Artificial Intelligence 122 (2000) 111–136
Egenhofer, M., Sharma, J.: Topological relations between regions in R2 and Z2. In Abel, D., Ooi, B.C., eds.: Advances in Spatial Databases-Third International Symposium on Large Spatial Databases, SSD’ 93. Volume 692 of Lecture Notes in Computer Science., Springer-Verlag (1993) 316–336
Winter, S., Frank, A.U.: Topology in raster and vector representation. Geoinformatica 4 (2000) 35–65
Winter, S.: Topological relations between discrete regions. In Egenhofer, M.J., Herring, J.R., eds.: Advances in Spatial Databases. Volume 951 of Lecture Notes in Computer Science. Springer, Berlin (1995) 310–327
Galton, A.: The mereotopology of discrete space. In Freska, C., Mark, D.M., eds.: Spatial Information Theory. Volume 1661 of Lecture Notes in Computer Science., Berlin, Springer-Verlag (1999) 251–266
Kovalevsky, V.A.: Finite topology as applied to image analysis. Computer Vision, Graphics and Image Processing 46 (1989) 141–161
Schneider, M.: Spatial Data Types for Database Systems. Volume 1288 of Lecture Notes in Computer Science. Springer (1997)
Lema, J., Güting, R.: Dual grid: A new approach for robust spatial algebra implementation. GeoInformatica 6 (2002) 57–76
Cohn, A.G., Bennett, B., et al.: Qualitative spatial representation and reasoning with the region connection calculus. GeoInformatica 1 (1997) 275–316
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)
Lawvere, F.W.: Introduction. In Lawvere, F.W., Schanuel, S.H., eds.: Categories in Continuum Physics. Volume 1174 of Lecture Notes in Mathematics., Springer-Verlag (1986) 1–16
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Roy, A.J., Stell, J.G. (2002). A Qualitative Account of Discrete Space. In: Egenhofer, M.J., Mark, D.M. (eds) Geographic Information Science. GIScience 2002. Lecture Notes in Computer Science, vol 2478. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45799-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-45799-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44253-0
Online ISBN: 978-3-540-45799-2
eBook Packages: Springer Book Archive