Skip to main content
SpringerLink
Log in

A Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment

  • Conference paper
Rough Sets and Current Trends in Computing (RSCTC 2004)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3066))

Included in the following conference series:

Abstract

The mobile computing technology has been increasingly grown in the past decade; however there still exist some important constraints that complicate work with a mobile information system. The limited resources on the mobile computing would restrict some features that are available on the traditional computing technology. In this article we suggest an idea based on space and time partitioning in order to provide a paradigm that treats moving objects in mobile GIS environment. A logic-based framework for representing and reasoning about qualitative spatial relations over moving agents in space and time is proposed. We motivate the use of influenceability relation as primary relation and show how a logical calculus can be built up from this basic concept. We derive the connection relation as a basis of topological relation and a kind of time order as a basis of time from our suggested primary influenceability relation. This framework finds applications in intelligent transportation system (ITS), and any mobile autonomous navigation systems.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  2. Asher, N., Vieu, L.: Towards a geometry of common sense: a semantics and a complete axiomatisation of mereotopology. In: IJCAI 1995 (1995)

    Google Scholar 

  3. Born, M.: Natural Philosophy of Cause and Chance. Dover Publications, New York (1949)

    Google Scholar 

  4. Breunig, M.: On the Way to Component-Based 3D/4D Geoinformation Systems. Lecture Notes in Earth Sciences, vol. 94. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  5. Chon, H., Agrawal, D., Abbadi, A.E.: Using Space-Time Grid for Efficient Management of Moving Objects. In: MobiDE (2001)

    Google Scholar 

  6. Chon, H., Agrawal, D., Abbadi, A.E.: Storage and Retrieval of Moving Objects. In: International Conference on Mobile Data Management (2001)

    Google Scholar 

  7. Cohn, A.G., et al.: RCC: a calculus for Region based Qualitative Spatial Reasoning. Geoinformatica 1, 275–316 (1997)

    Article  Google Scholar 

  8. Davey, B.A., Priestley, H.A.: Introduction to lattices and Order. Cambridge University press, Cambridge (1990)

    MATH  Google Scholar 

  9. Donnely, M., Smith, B.: Layers: A New Approach to Locating Objects in Space. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol. 2825, pp. 46–60. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  10. Egenhofer, M.J., Franzosa, R.D.: Point-set topological spatial relations. International Journal of Geographical Information Systems 5(2), 161–174 (1991)

    Article  Google Scholar 

  11. Egenhofer, M.J., Herring, J.R.: Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases, Department of Surveying Engineering. University of Maine, Orono (1991)

    Google Scholar 

  12. Erwig, M., Schneider, M.: The Honeycomb Model of Spatio-temporal partitions. In: Spatio-Temporal database management, Springer, Edinburgh (1999)

    Google Scholar 

  13. Forman, G.H., Zahorjan, J.: The Challenges of Mobile Computing. IEEE Computer 27(4), 38–47 (1994)

    Google Scholar 

  14. Freeman, J.: The modelling of spatial relations. Computer Graphics and Image Processing 4, 156–171 (1975)

    Article  Google Scholar 

  15. Garg, V.K., Mittal, N.: Computation Slicing: Techniques and Theory. In: Welch, J.L. (ed.) DISC 2001. LNCS, vol. 2180, p. 78. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. GIS-LOUNGE, Mobile and Field GIS (2003), http://gislounge.com/ll/mobilegis.shtml (accessed: November 2003)

  17. Gittings, B.: Innovation in GIS, vol. 6. Taylor & Francis, Abington (1999)

    Google Scholar 

  18. Golledge, R.G., Egenhofer, M.: GIS and disaggregate behavioral travel modeling. Geographical Systems (5), 1–7 (1998)

    Google Scholar 

  19. Goodchild, M.: GIS and Transportation: Status and Challenges. GeoInformatica 4(2), 127–139 (2000)

    Article  MATH  Google Scholar 

  20. Gotts, N.M., Gooday, J.M., Cohn, A.G.: A connection based approach to commonsense topological description and reasoning. The Monist 79(1) (1995)

    Google Scholar 

  21. Hendricks, M.D., Egenhofer, M., Hornsby, K.: Structuring a wayfinder’s Dynamic space-Time environment. In: Kuhn, W., Worboys, M.F., Timpf, S. (eds.) COSIT 2003. LNCS, vol. 2825, pp. 75–92. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  22. Hornsby, K., Egenhofer, M.J.: Modeling Moving Objects over Multiple Granularities. In: Annals of Mathematics and Artificial Intelligence (2000)

    Google Scholar 

  23. Laurini, R., Thompson, D.: Fundamentals of Spatial Information Systems. APIC Series. Academic Press, San Diego (1992)

    MATH  Google Scholar 

  24. Li, L., Li, C., Lin, Z.: Investigation On the Concept Model Of Mobile GIS. In: Symposium on Geospatial theory, Processing and Applications, Ottawa (2002)

    Google Scholar 

  25. Malek, M.R.: Motion Modeling in GIS. In: GEOMATIC 1982, National Cartographic Center, Tehran (2003)

    Google Scholar 

  26. Malek, M.R.: Motion Modeling in GIS: A case study on collision-free path in space-time. In: EURESCO (Modeling for wayfinding services), Oral presentation, Bad Herrenalb (2003)

    Google Scholar 

  27. Malek, M.R., Delavar, M.R.: A Mobile Computing Approach to Find An Optimal Collision-free Path (under review)

    Google Scholar 

  28. McClosky, M.: Naive theories of motion. In: Gentner, D., Stevens, S. (eds.) Mental models, Lawrence Erlbaum, Hillsdale (1983)

    Google Scholar 

  29. Mittal, N.: Techniques for Analysing Distributed Copmputations, in Department of Computer Science. The university of Texas, Austin (2002)

    Google Scholar 

  30. Muller, P.: A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. In: Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Morgan Kaufmann, Trento (1998)

    Google Scholar 

  31. Raper, J.: Multidimensional Geographic Information Science. Taylor & Francis, Abington (2000)

    Book  Google Scholar 

  32. Sang, J.: Theory and Development of GPS Integrity Monitoring System. In: Space Centre for Satellite Navigation, Queesland University of Technology, Queesland (1996)

    Google Scholar 

  33. Smith, B.: Mereotopology: A Theory of Parts and Boundaries. Data and Knowledge Engineering, pp. 287–303 (1996)

    Google Scholar 

  34. Wolfson, O., et al.: Databases for Tracking Mobile Units in Real Time. In: Beeri, C., Bruneman, P. (eds.) ICDT 1999. LNCS, vol. 1540, pp. 169–186. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  35. Zhao, Y.: Vehicle Location and Navigation Systems. The Artech House ITS Series. Artech House, Boston (1997)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Geoinformation, Technical University Vienna, Gusshausstr. 27-29/127, 1040, Wien, Austria

    Mohammad Reza Malek

  2. Dept. of Surveying and Geomatic Eng., Eng. Faculty, University of Tehran, Tehran, Iran

    Mohammad Reza Malek

Authors
  1. Mohammad Reza Malek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Shimane University, 89-1 Enya-cho Izumo, 6938501, Shimane, Japan

    Shusaku Tsumoto

  2. Systems Research Institute, Polish Academy of Sciences, 01-447, Warsaw, Poland

    Roman Słowiński

  3. The Linnaeus Centre for Bioinformatics, Uppsala University, Uppsala, Sweden

    Jan Komorowski

  4. Institute of Computer Science, Polish Academy of Sciences, 01–237, Warsaw, Poland

    Jerzy W. Grzymała-Busse

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Malek, M.R. (2004). A Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds) Rough Sets and Current Trends in Computing. RSCTC 2004. Lecture Notes in Computer Science(), vol 3066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25929-9_50

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25929-9_50

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22117-3

  • Online ISBN: 978-3-540-25929-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation