Abstract
The mobile computing is a new revolutionary style of technology that enables us to access information anywhere and anytime. Mobile GIS as an integrating system of mobile computing and some GIS capabilities has fostered a great interest in the GIS field. Although mobile computing has expanded in the past decade, there are still some important constraints the complicate work with a mobile information system. The limited resources in the mobile computing would restrict some features that are available in the traditional computing technology. This chapter attempts to provide a paradigm to treat moving objects in a mobile GIS environment. An idea based on space and time partitioning is suggested. A logic-based framework for representing and reasoning about qualitative spatial relations over moving objects in space and time is proposed. We provide convincing evidence of this theory, by demonstrating how it can provide a framework model of topological relations in space and time. The expressivity power of the proposed framework is shown with some new topological relationships between moving objects and describing the coaching problem in a mobile environment. The latter finds its application in RoboCup championship and battlefield, as well.
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
Allen, J.F.: “Maintaining Knowledge about Temporal Intervals”, Communications of the ACM, 26(11), pp. 832–843, 1983.
Asher, N. and Vieu, L.: “Towards a geometry of common sense: a semantics and a complete axiomatisation of mereotopology”, Proc. of IJCAI95, 1995.
Born, M.: “Natural Philosophy of Cause and Chance”, Dover Publ., NY, 1949.
Caduff, D.: “Sketch-Based Queries in Mobile GIS-Environments”, Master Thesis, Maine University, 2002.
Chon, H., Agrawal, D. and Abbadi, A. E.: “Storage and Retrieval of Moving Objects”, Proceeding of International Conference on Mobile Data Management, 2001.
Chon, H., Agrawal, D. and Abbadi, A. E.: “Using Space-Time Grid for Efficient Management of Moving Objects”, Proceeding of MobiDE, Santa Barbara, USA, 2001.
Chon, H., Agrawal, D. and Abbadi, A. E.: “Query Processing for Moving Objects with Space-Time Grid Storage Model”, Technical Report No. 2001-15, Dept. of Computer Science, University of California, 2001.
Cohn, A., Bennet, B., Gooday, J. M. & Gotts, N.: “RCC: a calculus for region based qualitative spatial reasoning”, GeoInformatica, 1, pp. 275–316, 1997.
Cohn, A. G. and Hazarika, S. M.: “Qualitative Spatial Representation and Reasoning:an Overview”, Fundamenta Informaticae, 43, pp. 2–32, 2001.
Davey, B. A. and Priestly, H. A.: “Introduction to Lattices and Order”, Cambridge University Press, UK, 1990.
Egenhofer, M.J.: “A Formal Definition of Binary Topological Relationships”, Proceeding of Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France, Springer, 1989.
Egenhofer, M. J. and Franzosa, R. D.: “Point-set topological spatial relations”, International Journal of GIS, 5(2), pp. 161–174, 1991.
Egenhofer, M. J. and Herring, J. R.: “Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases”, Department of Surveying Engineering, University Maine, Orono, ME, 1991.
Egenhofer, M. J.: “A Model for Detailed Binary Topological Relationships”, Geomatica, 47(3 & 4), pp. 261–273, 1993.
Erwig, M. and Schneider M.: “The Honeycomb Model of Spatio-temporal partitions”, Proceeding of Spatio-Temporal database management, Edinburgh, Scotland, Springer, 1999.
Ellis, C. S.: “The case for higher-level power management”, Proc. of 7th IEEE Workshop on Hot Topics in Operating System, Rio Rico, 1999.
Ferscha, A. and Hoertner, H. and Kotsis, G.: “Advances in Pervasive Computing”, Austrian Computer Society, 2004.
Flinn, J. and M., S.: “Energy-aware Adaptation for Mobile Application”, Proc. of Symposium on Operating Systems Principals, 1999.
Forman, G. H. and Zahorjan, J.: “The Challenges of Mobile Computing”, IEEE Computer, 27(4), pp. 38–47, 1994.
Garg, V.K. and Mittal N.: “Computation Slicing: Techniques and Theory”, Proceeding of DISC 2001, Lisbon, Portugal, 2001.
GIS-LOUNGE: “http://gislounge.com/ll/mobilegis.shtml”, access Sept. 2005.
Gotts N., Gooday J. & Cohn A.: “A connection based approach to commonsense topological description and reasoning”, The Manifest, 79(1), 1995.
Heltzel, P.: “Wireless Computing and Networking”, Techmedia, 2002.
Hendricks, M.D. and Egenhofer M. and Hornsby K.: “Structuring a wayfinder’s Dynamic space-Time environment”, Proceeding of COSIT 2003, Kartause Ittingen, Switzerland, Springer, 2003.
Hjelm, J.: “Creating Location Services for the Wireless Web: Professional Developer’s Guide”, John Wiley & Sons, 2002.
Hornsby, K. and Egenhofer, M. J.: “Modeling Moving Objects over Multiple Granularities”, In: Annals of Mathematics and Artificial Intelligence, 2000.
Karimi, H. and Amin, H.: “Telegeoinformatics: Location-Based Computing and Services”, CRC Press, 2004.
Kaufmann, W. J.: “Relativity and Cosmology”, 1966.
Laurini, R. and D. Thompson, “Fundamentals of Spatial Information Systems”, APIC Series, Academic Press, 1992.
Lewis, D.: “Causation”, Journal of Philosophy, 70, pp. 556–567, 1973.
Li, L., Li, C. and Lin, Z.: “Investigation on the Concept Model of Mobile GIS”, Proceeding of Symposium on Geospatial theory, Processing and Applications, Ottawa, 2002.
Malek, M.R.: “Motion Modeling in GIS”, (in Persian) Proceeding of GEOMATIC 82, National Cartographic Center, Tehran, Iran, 2003.
Malek, M. R. and Delavar, M. R.: “Motion Modeling in GIS: A Case Study in Collision-Free Space-Time”, URESCO, Modeling for Wayfinding Servieces, Germany, 2003.
Malek, M. R.: “A Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment with Applications to Navigations”, In: Ferscha, A. and Hoertner, H. and Kotsi, G. (Ed.s): “Advances in Pervasive Computing”, Austrian Computer Society, 2004.
Malek, M. R., Delavar, M. R. and Aliabady, S.: “The Location-Based services in a Mobile Government”, (in Persian) Proceeding of The First Conference on IT, Software and E-city, Mashhad, 2004.
Malek, M. R.: “A Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment”, Lecture Notes in Artificial Intelligence, 3066, pp. 418–426, 2004.
Malek, M. R. and Delavar M. R: “Mobile GIS: A Prototype for Mashhad City”, (in Persian) Surveying Magazine, 16(1), pp.10–13, 2005.
Malek, M.R. and Delavar M.R: “A Mobile Spatial Information System for Rescue and Relief management”, (in Persian) Proceeding of Second Conference of Scientific & Research on Relief and Rescue Management, Tehran, Iran, 2005.
Mark, D., Egenhofer, M., Bian, L., Hornsby, K., Rogerson, P. and Vena, J.: “Spatio-Temporal GIS Analysis for Environmental Health using Geospatial Lifelines”, In Flahault, A., Toubiana, L. and Valleron, A.: 2nd International Workshop on Geography and Medicine: GEOMED’99, France, 1999.
McClosky, M.: “Naive theories of motion” In: Gentner D. and Stevens S. (Editors): “Mental Models”, Hillsdale, New Jersey, Lawrence Erlbaum, 1983.
Miller, H. J., “Modelling accessedibility using space-time prism concepts within geographical information systems”, International Journal of Geographical Information Systems, 5(3), pp. 287–301, 1991.
Mittal, N., Garg, V.K., “Computation Slicing: Technique and theory”, Technical Report, TR-PDS-2001-002, University of Texas at Austin, 2001.
Nivala, A. M. and Sarjakoski, L. T.: “Need for Context-Aware Topographic Maps in Mobile Devices”, In: Virrantaus, K. and Tveite, H.: ScanGIS’2003, Espoo, Finland, 2003.
Sang, J.: “Theory and Development of GPS Integrity Monitoring System”, PhD Thesis, Queensland University of Technology, 1996.
Satyanarayanan, M.: “Fundamental Challenges in Mobile Computing”, In:ACM Symposium on Principles of Distributed Computing, 1995.
Sexl, R. and Sexl, H.: “Weisse Zwerge-Schwarze Locher: Einführung in die relativistische Astrophysik”, Trans. by Mansoory R., Sharif University, 2nd Edition, 1370.
Smith, B., “Mereotopology: A Theory of Parts and Boundaries”, Data and Knowledge Engineering, 20, pp. 287–303, 1996.
Verma, T. S.: “Causal Networks: Semantics and expressiveness”, In: Sacher R. and Levitt T.S. and Kanal L.N. (ed.s):“Uncertainty in Artificial Intelligence”, Elsevier Science, 4, 1990.
White M. S., “A Survey of the Mathematics of Maps”, Proceeding of Auto Carto IV, 1979.
Worboys M. F., “GIS: A Computing Perspective”, Taylor & Francis, 1995.
Zhao, Y.: “Vehicle Location and Navigation Systems”, ITS Series, Artech House, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Malek, M.R., Frank, A.U., Delavar, M.R. (2007). A Logic-Based Foundation for Spatial Relationships in Mobile GIS Environment. In: Gartner, G., Cartwright, W., Peterson, M.P. (eds) Location Based Services and TeleCartography. Lecture Notes in Geoinformation and Cartography. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-36728-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-36728-4_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-36727-7
Online ISBN: 978-3-540-36728-4
eBook Packages: Earth and Environmental ScienceEarth and Environmental Science (R0)