{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:48:49Z","timestamp":1725482929358},"publisher-location":"Berlin, Heidelberg","reference-count":51,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-36728-4_15","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T15:43:42Z","timestamp":1177602222000},"page":"193-204","source":"Crossref","is-referenced-by-count":0,"title":["A Logic-Based Foundation for Spatial Relationships in Mobile GIS Environment"],"prefix":"10.1007","author":[{"given":"Mohammad Reza","family":"Malek","sequence":"first","affiliation":[]},{"given":"Andrew U.","family":"Frank","sequence":"additional","affiliation":[]},{"given":"Mahmoud Reza","family":"Delavar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"15_CR1","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. \u201c. Allen","year":"1983","unstructured":"Allen, J.F.: \u201cMaintaining Knowledge about Temporal Intervals\u201d, Communications of the ACM, 26(11), pp. 832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"15_CR2","unstructured":"Asher, N. and Vieu, L.: \u201cTowards a geometry of common sense: a semantics and a complete axiomatisation of mereotopology\u201d, Proc. of IJCAI95, 1995."},{"key":"15_CR3","volume-title":"Natural Philosophy of Cause and Chance","author":"M. \u201c. Born","year":"1949","unstructured":"Born, M.: \u201cNatural Philosophy of Cause and Chance\u201d, Dover Publ., NY, 1949."},{"key":"15_CR4","unstructured":"Caduff, D.: \u201cSketch-Based Queries in Mobile GIS-Environments\u201d, Master Thesis, Maine University, 2002."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Chon, H., Agrawal, D. and Abbadi, A. E.: \u201cStorage and Retrieval of Moving Objects\u201d, Proceeding of International Conference on Mobile Data Management, 2001.","DOI":"10.1007\/3-540-44498-X_14"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Chon, H., Agrawal, D. and Abbadi, A. E.: \u201cUsing Space-Time Grid for Efficient Management of Moving Objects\u201d, Proceeding of MobiDE, Santa Barbara, USA, 2001.","DOI":"10.1145\/376868.376899"},{"key":"15_CR7","unstructured":"Chon, H., Agrawal, D. and Abbadi, A. E.: \u201cQuery Processing for Moving Objects with Space-Time Grid Storage Model\u201d, Technical Report No. 2001-15, Dept. of Computer Science, University of California, 2001."},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1023\/A:1009712514511","volume":"1","author":"A. Cohn","year":"1997","unstructured":"Cohn, A., Bennet, B., Gooday, J. M. & Gotts, N.: \u201cRCC: a calculus for region based qualitative spatial reasoning\u201d, GeoInformatica, 1, pp. 275\u2013316, 1997.","journal-title":"GeoInformatica"},{"key":"15_CR9","first-page":"2","volume":"43","author":"A. G. Cohn","year":"2001","unstructured":"Cohn, A. G. and Hazarika, S. M.: \u201cQualitative Spatial Representation and Reasoning:an Overview\u201d, Fundamenta Informaticae, 43, pp. 2\u201332, 2001.","journal-title":"Fundamenta Informaticae"},{"key":"15_CR10","volume-title":"Introduction to Lattices and Order","author":"B. A. Davey","year":"1990","unstructured":"Davey, B. A. and Priestly, H. A.: \u201cIntroduction to Lattices and Order\u201d, Cambridge University Press, UK, 1990."},{"key":"15_CR11","volume-title":"Proceeding of Third International Conference on Foundations of Data Organization and Algorithms (FODO)","author":"M.J. \u201c. Egenhofer","year":"1989","unstructured":"Egenhofer, M.J.: \u201cA Formal Definition of Binary Topological Relationships\u201d, Proceeding of Third International Conference on Foundations of Data Organization and Algorithms (FODO), Paris, France, Springer, 1989."},{"issue":"2","key":"15_CR12","first-page":"161","volume":"5","author":"M. J. Egenhofer","year":"1991","unstructured":"Egenhofer, M. J. and Franzosa, R. D.: \u201cPoint-set topological spatial relations\u201d, International Journal of GIS, 5(2), pp. 161\u2013174, 1991.","journal-title":"International Journal of GIS"},{"key":"15_CR13","volume-title":"Categorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases","author":"M. J. Egenhofer","year":"1991","unstructured":"Egenhofer, M. J. and Herring, J. R.: \u201cCategorizing Binary Topological Relationships Between Regions, Lines, and Points in Geographic Databases\u201d, Department of Surveying Engineering, University Maine, Orono, ME, 1991."},{"issue":"3 & 4","key":"15_CR14","first-page":"261","volume":"47","author":"M. J. \u201c. Egenhofer","year":"1993","unstructured":"Egenhofer, M. J.: \u201cA Model for Detailed Binary Topological Relationships\u201d, Geomatica, 47(3 & 4), pp. 261\u2013273, 1993.","journal-title":"Geomatica"},{"key":"15_CR15","volume-title":"Proceeding of Spatio-Temporal database management","author":"M. Erwig","year":"1999","unstructured":"Erwig, M. and Schneider M.: \u201cThe Honeycomb Model of Spatio-temporal partitions\u201d, Proceeding of Spatio-Temporal database management, Edinburgh, Scotland, Springer, 1999."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"Ellis, C. S.: \u201cThe case for higher-level power management\u201d, Proc. of 7th IEEE Workshop on Hot Topics in Operating System, Rio Rico, 1999.","DOI":"10.1109\/HOTOS.1999.798394"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Ferscha, A. and Hoertner, H. and Kotsis, G.: \u201cAdvances in Pervasive Computing\u201d, Austrian Computer Society, 2004.","DOI":"10.1007\/b96922"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Flinn, J. and M., S.: \u201cEnergy-aware Adaptation for Mobile Application\u201d, Proc. of Symposium on Operating Systems Principals, 1999.","DOI":"10.1145\/319151.319155"},{"issue":"4","key":"15_CR19","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.274999","volume":"27","author":"G. H. Forman","year":"1994","unstructured":"Forman, G. H. and Zahorjan, J.: \u201cThe Challenges of Mobile Computing\u201d, IEEE Computer, 27(4), pp. 38\u201347, 1994.","journal-title":"IEEE Computer"},{"key":"15_CR20","unstructured":"Garg, V.K. and Mittal N.: \u201cComputation Slicing: Techniques and Theory\u201d, Proceeding of DISC 2001, Lisbon, Portugal, 2001."},{"key":"15_CR21","unstructured":"GIS-LOUNGE: \u201chttp:\/\/gislounge.com\/ll\/mobilegis.shtml\u201d, access Sept. 2005."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Gotts N., Gooday J. & Cohn A.: \u201cA connection based approach to commonsense topological description and reasoning\u201d, The Manifest, 79(1), 1995.","DOI":"10.5840\/monist19967913"},{"key":"15_CR23","unstructured":"Heltzel, P.: \u201cWireless Computing and Networking\u201d, Techmedia, 2002."},{"key":"15_CR24","volume-title":"Proceeding of COSIT 2003","author":"M.D. Hendricks","year":"2003","unstructured":"Hendricks, M.D. and Egenhofer M. and Hornsby K.: \u201cStructuring a wayfinder\u2019s Dynamic space-Time environment\u201d, Proceeding of COSIT 2003, Kartause Ittingen, Switzerland, Springer, 2003."},{"key":"15_CR25","unstructured":"Hjelm, J.: \u201cCreating Location Services for the Wireless Web: Professional Developer\u2019s Guide\u201d, John Wiley & Sons, 2002."},{"key":"15_CR26","unstructured":"Hornsby, K. and Egenhofer, M. J.: \u201cModeling Moving Objects over Multiple Granularities\u201d, In: Annals of Mathematics and Artificial Intelligence, 2000."},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Karimi, H. and Amin, H.: \u201cTelegeoinformatics: Location-Based Computing and Services\u201d, CRC Press, 2004.","DOI":"10.1201\/b12395"},{"key":"15_CR28","unstructured":"Kaufmann, W. J.: \u201cRelativity and Cosmology\u201d, 1966."},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Laurini, R. and D. Thompson, \u201cFundamentals of Spatial Information Systems\u201d, APIC Series, Academic Press, 1992.","DOI":"10.1016\/B978-0-08-092420-5.50014-1"},{"key":"15_CR30","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D. \u201c. Lewis","year":"1973","unstructured":"Lewis, D.: \u201cCausation\u201d, Journal of Philosophy, 70, pp. 556\u2013567, 1973.","journal-title":"Journal of Philosophy"},{"key":"15_CR31","unstructured":"Li, L., Li, C. and Lin, Z.: \u201cInvestigation on the Concept Model of Mobile GIS\u201d, Proceeding of Symposium on Geospatial theory, Processing and Applications, Ottawa, 2002."},{"key":"15_CR32","volume-title":"Proceeding of GEOMATIC 82","author":"M.R. \u201c. Malek","year":"2003","unstructured":"Malek, M.R.: \u201cMotion Modeling in GIS\u201d, (in Persian) Proceeding of GEOMATIC 82, National Cartographic Center, Tehran, Iran, 2003."},{"key":"15_CR33","volume-title":"Motion Modeling in GIS: A Case Study in Collision-Free Space-Time","author":"M. R. Malek","year":"2003","unstructured":"Malek, M. R. and Delavar, M. R.: \u201cMotion Modeling in GIS: A Case Study in Collision-Free Space-Time\u201d, URESCO, Modeling for Wayfinding Servieces, Germany, 2003."},{"key":"15_CR34","unstructured":"Malek, M. R.: \u201cA Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment with Applications to Navigations\u201d, In: Ferscha, A. and Hoertner, H. and Kotsi, G. (Ed.s): \u201cAdvances in Pervasive Computing\u201d, Austrian Computer Society, 2004."},{"key":"15_CR35","volume-title":"Proceeding of The First Conference on IT","author":"M. R. Malek","year":"2004","unstructured":"Malek, M. R., Delavar, M. R. and Aliabady, S.: \u201cThe Location-Based services in a Mobile Government\u201d, (in Persian) Proceeding of The First Conference on IT, Software and E-city, Mashhad, 2004."},{"key":"15_CR36","doi-asserted-by":"crossref","unstructured":"Malek, M. R.: \u201cA Logic-Based Framework for Qualitative Spatial Reasoning in Mobile GIS Environment\u201d, Lecture Notes in Artificial Intelligence, 3066, pp. 418\u2013426, 2004.","DOI":"10.1007\/978-3-540-25929-9_50"},{"issue":"1","key":"15_CR37","first-page":"10","volume":"16","author":"M. R. Malek","year":"2005","unstructured":"Malek, M. R. and Delavar M. R: \u201cMobile GIS: A Prototype for Mashhad City\u201d, (in Persian) Surveying Magazine, 16(1), pp.10\u201313, 2005.","journal-title":"Surveying Magazine"},{"key":"15_CR38","unstructured":"Malek, M.R. and Delavar M.R: \u201cA Mobile Spatial Information System for Rescue and Relief management\u201d, (in Persian) Proceeding of Second Conference of Scientific & Research on Relief and Rescue Management, Tehran, Iran, 2005."},{"key":"15_CR39","unstructured":"Mark, D., Egenhofer, M., Bian, L., Hornsby, K., Rogerson, P. and Vena, J.: \u201cSpatio-Temporal GIS Analysis for Environmental Health using Geospatial Lifelines\u201d, In Flahault, A., Toubiana, L. and Valleron, A.: 2nd International Workshop on Geography and Medicine: GEOMED\u201999, France, 1999."},{"key":"15_CR40","volume-title":"Mental Models","author":"M. \u201c. McClosky","year":"1983","unstructured":"McClosky, M.: \u201cNaive theories of motion\u201d In: Gentner D. and Stevens S. (Editors): \u201cMental Models\u201d, Hillsdale, New Jersey, Lawrence Erlbaum, 1983."},{"issue":"3","key":"15_CR41","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1080\/02693799108927856","volume":"5","author":"H. J. \u201c. Miller","year":"1991","unstructured":"Miller, H. J., \u201cModelling accessedibility using space-time prism concepts within geographical information systems\u201d, International Journal of Geographical Information Systems, 5(3), pp. 287\u2013301, 1991.","journal-title":"International Journal of Geographical Information Systems"},{"key":"15_CR42","doi-asserted-by":"crossref","unstructured":"Mittal, N., Garg, V.K., \u201cComputation Slicing: Technique and theory\u201d, Technical Report, TR-PDS-2001-002, University of Texas at Austin, 2001.","DOI":"10.1007\/3-540-45414-4_6"},{"key":"15_CR43","unstructured":"Nivala, A. M. and Sarjakoski, L. T.: \u201cNeed for Context-Aware Topographic Maps in Mobile Devices\u201d, In: Virrantaus, K. and Tveite, H.: ScanGIS\u20192003, Espoo, Finland, 2003."},{"key":"15_CR44","unstructured":"Sang, J.: \u201cTheory and Development of GPS Integrity Monitoring System\u201d, PhD Thesis, Queensland University of Technology, 1996."},{"key":"15_CR45","doi-asserted-by":"crossref","unstructured":"Satyanarayanan, M.: \u201cFundamental Challenges in Mobile Computing\u201d, In:ACM Symposium on Principles of Distributed Computing, 1995.","DOI":"10.21236\/ADA306271"},{"key":"15_CR46","unstructured":"Sexl, R. and Sexl, H.: \u201cWeisse Zwerge-Schwarze Locher: Einf\u00fchrung in die relativistische Astrophysik\u201d, Trans. by Mansoory R., Sharif University, 2nd Edition, 1370."},{"key":"15_CR47","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/S0169-023X(96)00015-8","volume":"20","author":"B. \u201c. Smith","year":"1996","unstructured":"Smith, B., \u201cMereotopology: A Theory of Parts and Boundaries\u201d, Data and Knowledge Engineering, 20, pp. 287\u2013303, 1996.","journal-title":"Data and Knowledge Engineering"},{"key":"15_CR48","unstructured":"Verma, T. S.: \u201cCausal Networks: Semantics and expressiveness\u201d, In: Sacher R. and Levitt T.S. and Kanal L.N. (ed.s):\u201cUncertainty in Artificial Intelligence\u201d, Elsevier Science, 4, 1990."},{"key":"15_CR49","unstructured":"White M. S., \u201cA Survey of the Mathematics of Maps\u201d, Proceeding of Auto Carto IV, 1979."},{"key":"15_CR50","unstructured":"Worboys M. F., \u201cGIS: A Computing Perspective\u201d, Taylor & Francis, 1995."},{"key":"15_CR51","unstructured":"Zhao, Y.: \u201cVehicle Location and Navigation Systems\u201d, ITS Series, Artech House, 1997."}],"container-title":["Lecture Notes in Geoinformation and Cartography","Location Based Services and TeleCartography"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-36728-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:28:25Z","timestamp":1605742105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-36728-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540367277"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-36728-4_15","relation":{},"subject":[]}}