Abstract
3D and temporal objects must be included in GIS to handle real world phenomena. Many have studied extension of spatial operations to these multi-dimensional spaces and suggested technical solutions to extend a spatial operation to a new multi-dimensional space. These technical approaches have led to developments which can not be generalized. One technique used to extend a spatial operation from 2D to a multi-dimensional space is not likely usable for another spatial operation, nor to extend the same spatial operation to another multi-dimensional space. This paper suggested studying spatial operations via their dimension-independent properties. It intends to construct a mathematical framework to integrate spatial operations of different multi-dimensional spaces (3D and time) a GIS should support. The framework will be independent of the space in which the operations are applied using algebraic structures - and more specifically category theory - that ignore those properties of operations which depend on the objects they are applied to. Implementations for some case studies for spatial operations of moving points are presented.
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
Abdul-Rahman, A., Zlatanova, S.V., Coors, V.(eds.): Innovations in 3D Geo Information Systems. In: Proc. the 1st International Workshop on 3D Geoinformation, Lecture Notes in Geoinformation and Cartography, December 7-14, 2006, Kuala, Springer, Heidelberg (2006)
Bittner, T., Frank, A.U.: An Introduction to the Application of Formal Theories to GIS. In: Dollinger, F., Strobl, J. (eds.) Proc. Angewandte Geographische Information sverarbeitung IX (AGIT), Salzburg, Austria, pp. 11–22 (1997)
De Berg, M., Kreveld, M.V., Overmars, M., Schwarzkopf, O.: Computational Geometry: Algorithms and Applications. Springer, Heidelberg (2000)
Frank, A.U.: Qualitative Temporal Reasoning in GIS - Ordered Time Scales. In: Proc. 6th International Symposium on Spatial Data Handling (SDH 1994), Edinburgh, Scotland, IGU Commission on GIS, September 5-9 (1994)
Frank, A.U.: Different types of times in GIS. In: Egenhofer, M.J., Golledge, R.G. (eds.) Spatial and Temporal Reasoning in GIS, pp. 40–61. Oxford University Press, New York (1998)
Frank, A.U.: One step up the abstraction ladder: Combining algebras – From functional pieces to a whole. In: Freksa, C., Mark, D.M. (eds.) COSIT 1999. LNCS, vol. 1661, pp. 95–107. Springer, Heidelberg (1999)
Frank, A.U., Gruenbacher, A.: Temporal Data: 2nd order concepts lead to an algebra for spatio-temporal objects. In: Proc. Workshop on Complex Reasoning on Geographical Data, Cyprus, December 1 (2001)
Frank, A.U.: Practical Geometry - Mathematics for Geographic Information Systems, Script for GIS Theory course at TU Wien (2007)
Guttag, J.V., Horning, J.J.: The Algebraic Specification of Abstract Data Types. Acta Informatica 10, 27–52 (1978)
Herring, J., Egenhofer, M.J., Frank, A.U.: Using Category Theory to Model GIS Applications. In: Proc. 4th International Symposium on Spatial Data Handling, Zurich, Switzerland, pp. 820–829 (1990)
Karimipour, F.: How to Extend GIS Operations to 3D and Temporal Data, draft manuscript (2008)
Karimipour, F.: Logical Formalization of Spatial Analyses of Moving Objects Using Algebraic Structures, M.Sc. Thesis (in Persian with English abstract), College of Engineering, University of Tehran, Iran (2005)
Karimipour, F., Delavar, M.R., Frank, A.U., Rezayan, H.: Point in Polygon Analysis for Moving Objects. In: Gold, C. (ed.) Proc. 4th Workshop on Dynamic & Multi-dimensional GIS, Pontypridd, Wales, UK, ISPRS Working Group II/IV, September 5-8, 2005, pp. 68–72 (2005)
Karimipour, F., Delavar, M.R., Frank, A.U.: Applications of Category Theory for Dynamic GIS Analyses. In: Digital Proc. GIS Planet 2005 Conference, Estoril, Portugal, 30 May - 2 June (2005)
Karmipour, F., Delavar, M.R., Rezayan, H.: Formalization of Moving Objects’ Spatial Analysis Using Algebraic Structures. In: Proc. Extended Abstracts of GIScience 2006 Conference, Munster, Germany, IfGI Prints, vol. 28, pp. 105–111 (2006)
Klein, F.: Elementary Mathematics from an Advanced Standpoint: Geometry. Dover Books on Mathematics. Dover (2004)
Langran, G.: Time in Geographic Information Systems, Ph.D. Dissertation, University of Washington (1989)
Lawvere, F.W., Schanuel, S.H.: Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press, Cambridge (2005)
Ledoux, H.: The Kinetic 3D Voronoi Diagram: A Tool for Simulating Environmental Processes. In: Oosterom, P.V., Zlatanova, S., Penninga, F., Fendel, E. (eds.) Advances in 3D GeoInformation Systems, Proc. the 2nd International Workshop on 3D Geoinformation, Delft, the Netherlands, December 12-14, 2007. Lecture Notes in Geoinformation and Cartography, pp. 361–380. Springer, Heidelberg (2008)
Loeckx, J., Ehrich, H.D., Markus, W.: Specification of Abstract Data Types. John Wiley and B.G. Teubner, Chichester, UK and Stuttgart (1996)
MacLane, S., Birkhoff, G.: Algebra, 3rd edn. AMS Chelsea Publishing (1999)
Mostafavia, M.A., Gold, C., Dakowiczb, M.: Delete and Insert Operations in Voronoi/Delaunay Methods and Applications. Journal of Computers and Geosciences 29, 523–530 (2003)
Oosterom, P.V., Zlatanova, S., Penninga, F., Fendel, E.(eds.): Advances in 3D GeoInformation Systems. In: Proc. the 2nd International Workshop on 3D Geoinformation, Delft, the Netherlands, December 12-14, 2007. Lecture Notes in Geoinformation and Cartography. Springer, Heidelberg (2007)
Peuquet, D.J.: Time in GIS and Geographical Databases. In: Longley, P.A., Goodchild, M.F., Maguire, D.J., Rhind, D.W. (eds.) Geographical Information System: Principals and Technical Issues, 2nd edn., vol. 1, pp. 91–103. John Wiley & Sons, Chichester (1999)
Peyton Jones, S., Hughes, J.: Haskell 98: A Non-Strict, Purely Functional Language (1999), (accessed February 20, 2008) http://www.haskell.org/onlinereport/
Raper, J.: Multidimensional Geographic Information Science. Taylor and Francis, London (2000)
Thompson, S.: Haskell: The Craft of Functional Programming. Addison- Welsey, Reading (1999)
Rezayan, H., Frank, A.U., Karimipour, F., Delavar, M.R.: Temporal Topological Relationships of Convex Spaces in Space Syntax Theory. In: Proc. International Symposium on Spatio-temporal Modeling (ISSTM 2005), Bejing, China, August 27-29, 2005, pp. 81–91 (2005)
CGAL Website (accessed February 20, 2008), http://www.cgal.org/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Karimipour, F., Delavar, M.R., Frank, A.U. (2008). A Mathematical Tool to Extend 2D Spatial Operations to Higher Dimensions. In: Gervasi, O., Murgante, B., Laganà, A., Taniar, D., Mun, Y., Gavrilova, M.L. (eds) Computational Science and Its Applications – ICCSA 2008. ICCSA 2008. Lecture Notes in Computer Science, vol 5072. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69839-5_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-69839-5_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69838-8
Online ISBN: 978-3-540-69839-5
eBook Packages: Computer ScienceComputer Science (R0)