{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:49:04Z","timestamp":1750826944966},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038310"},{"type":"electronic","value":"9783642038327"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03832-7_22","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T10:42:48Z","timestamp":1252924968000},"page":"357-370","source":"Crossref","is-referenced-by-count":11,"title":["An Algebraic Approach to Image Schemas for Geographic Space"],"prefix":"10.1007","author":[{"given":"Lisa","family":"Walton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Worboys","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/11817949_17","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"L. Birkedal","year":"2006","unstructured":"Birkedal, L., Debois, S., Hildebrandt, T.: Sortings for reactive systems. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol.\u00a04137, pp. 248\u2013262. Springer, Heidelberg (2006)"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bundgaard, M., Sassone, V.: Typed polyadic pi-calculus in bigraphs. In: Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, Venice, Italy, pp. 1\u201312 (2006)","DOI":"10.1145\/1140335.1140336"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-48749-2_4","volume-title":"Secure Internet Programming: Security Issues for Mobile and Distributed Objects","author":"L. Cardelli","year":"1999","unstructured":"Cardelli, L.: Abstractions for Mobile Computation. In: Vitek, J., Jensen, C. (eds.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 51\u201394. Springer, Heidelberg (1999)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Gordon, A.: Mobile Ambients. In: Le M\u00e9tayer, D. (ed.) Theoretical Computer Science, Special Issue on Coordination, vol.\u00a0240(1), pp. 177\u2013213 (2000)","DOI":"10.1016\/S0304-3975(99)00231-5"},{"issue":"2","key":"22_CR5","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1023\/A:1010028527587","volume":"1","author":"M.J. Egenhofer","year":"1999","unstructured":"Egenhofer, M.J., Rodr\u00edguez, A.: Relation algebras over containers and surfaces: An ontological study of a room space. Spatial Cognition and Computation\u00a01(2), 155\u2013180 (1999)","journal-title":"Spatial Cognition and Computation"},{"key":"22_CR6","unstructured":"Frank, A.U.: Specifications for Interoperability: Formalizing Spatial Relations \u2019In\u2019, \u2019Auf\u2019 and \u2019An\u2019 and the Corresponding Image Schemata \u2019Container\u2019, \u2019Surface\u2019 and \u2019Link\u2019. Agile-Conference, ITC, Enschede, The Netherlands (1998)"},{"key":"22_CR7","first-page":"331","volume-title":"Proceeding from the 8th International Symposium on Spatial Data Handling","author":"A.U. Frank","year":"1998","unstructured":"Frank, A.U., Raubal, M.: Specifications for Interoperability: Formalizing Image Schemata for Geographic Space. In: Proceeding from the 8th International Symposium on Spatial Data Handling, pp. 331\u2013348. IGU, Vancouver (1998)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Frank, A.U., Raubal, M.: Formal specification of image schemata \u2013 a step towards interoperability in geographic information systems. Spatial Cognition and Computation\u00a01(1) (1999)","DOI":"10.1023\/A:1010004718073"},{"issue":"2","key":"22_CR9","doi-asserted-by":"publisher","first-page":"38","DOI":"10.3138\/T1X3-4887-75P6-4825","volume":"32","author":"S.M. Freundschuh","year":"1996","unstructured":"Freundschuh, S.M., Sharma, M.: Spatial Image Schemata, Locative Terms, and Geographic Spaces in Children\u2019s Narrative: Fostering Spatial Skills in Children. Cartographica: The International Journal for Geographic Information and Geovisualization\u00a032(2), 38\u201349 (1996)","journal-title":"Cartographica: The International Journal for Geographic Information and Geovisualization"},{"key":"22_CR10","unstructured":"Gibson, J., Shaw, R., Bransford, J.: The Theory of Affordances. Perceiving, Acting, and Knowing (1977)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2007.02.031","volume":"173","author":"D. Grohmann","year":"2007","unstructured":"Grohmann, D., Miculan, M.: Directed Bigraphs. Electron. Notes Theor. Comput. Sci.\u00a0173, 121\u2013137 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Johnson, M.: The Body in the Mind: The Bodily Basis of Meaning, Imagination, and Reason. University Of Chicago Press (1987)","DOI":"10.7208\/chicago\/9780226177847.001.0001"},{"key":"22_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-57207-4_24","volume-title":"Spatial Information Theory","author":"W. Kuhn","year":"1993","unstructured":"Kuhn, W.: Metaphors Create Theories for Users. In: Campari, I., Frank, A.U. (eds.) COSIT 1993. LNCS, vol.\u00a0716, pp. 366\u2013376. Springer, Heidelberg (1993)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kuhn, W.: An Image-Schematic Account of Spatial Categories. In: Spatial Information Theory, pp. 152-168 (2007)","DOI":"10.1007\/978-3-540-74788-8_10"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Kuhn, W., Frank, A.U.: A Formalization of Metaphors and Image-Schemas in User Interfaces. Cognitive and Linguistic Aspects of Geographic Space (1991)","DOI":"10.1007\/978-94-011-2606-9_24"},{"key":"22_CR16","unstructured":"Lakoff, G., Nu\u00f1ez, R.: Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being. Basic Books (2000)"},{"key":"22_CR17","unstructured":"Laiserin, J.: Comparing Pommes and Naranjas. The Laiserin Letter (15) (2002)"},{"key":"22_CR18","unstructured":"Mark, D.M.: Cognitive image-schemata for geographic information: Relations to user views and GIS interfaces. In: Proceedings, GIS\/LIS 1989, Orlando, Florida, vol.\u00a02, pp. 551\u2013560 (1989)"},{"key":"22_CR19","unstructured":"Mark, D.M., Frank, A.U.: Concepts of space and spatial language. In: Proceedings, Ninth International Symposium on Computer-Assisted Cartography (Auto-Carto 9), Baltimore, Maryland, pp. 538\u2013556 (1989)"},{"key":"22_CR20","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"22_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/3-540-44685-0_2","volume-title":"CONCUR 2001 - Concurrency Theory","author":"R. Milner","year":"2001","unstructured":"Milner, R.: Bigraphical Reactive Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol.\u00a02154, pp. 16\u201335. Springer, Heidelberg (2001)"},{"key":"22_CR22","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R. Milner","year":"2008","unstructured":"Milner, R.: Bigraphs and Their Algebra. Electronic Notes in Theoretical Computer Science\u00a0209, 5\u201319 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"22_CR23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626661","volume-title":"The Space and Motion of Communicating Agents","author":"R. Milner","year":"2009","unstructured":"Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)"},{"key":"22_CR24","first-page":"214","volume-title":"The Oxford handbook of cognitive linguistics","author":"T. Oakley","year":"2007","unstructured":"Oakley, T.: Image Schemas. In: Geeraerts, D., Cuyckens, H. (eds.) The Oxford handbook of cognitive linguistics, pp. 214\u2013235. Oxford University Press, Oxford (2007)"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Raubal, M., Egenhofer, M.J., Pfoser, D., Tryfona, N.: Structuring space with image schemata: wayfinding in airports as a case study. In: Proceedings of the International Conference on Spatial Information Theory, vol.\u00a01329, pp. 85\u2013102 (1997)","DOI":"10.1007\/3-540-63623-4_44"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Raubal, M., Worboys, M.: A Formal Model of the Process of Wayfinding in Built Environments. In: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science, p. 748 (1999)","DOI":"10.1007\/3-540-48384-5_25"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Rodr\u00edguez, A., Egenhofer, M.: Image-schemata-based spatial inferences: The container-surface algebra. In: Spatial Information Theory, A Theoretical Basis for GIS, pp. 35\u201352 (1997)","DOI":"10.1007\/3-540-63623-4_41"},{"issue":"6","key":"22_CR28","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1006\/jvlc.2000.0166","volume":"11","author":"A. Rodr\u00edguez","year":"2000","unstructured":"Rodr\u00edguez, A., Egenhofer, M.: A Comparison of Inferences about Containers and Surfaces in Small-Scale and Large-Scale Spaces. Journal of Visual Languages and Computing\u00a011(6), 639\u2013662 (2000)","journal-title":"Journal of Visual Languages and Computing"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Some Computer Science Problems in Ubiquitous Computing. Communications of the ACM (July 1993)","DOI":"10.1145\/159544.159617"}],"container-title":["Lecture Notes in Computer Science","Spatial Information Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03832-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T11:17:32Z","timestamp":1558523852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03832-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038310","9783642038327"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03832-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}