[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Image-schemata-based spatial inferences: The container-surface algebra

  • Stucturing of Space
  • Conference paper
  • First Online:
Spatial Information Theory A Theoretical Basis for GIS (COSIT 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1329))

Included in the following conference series:

  • 248 Accesses

Abstract

Algebras over spatial relations have become an important aspect of spatial reasoning for retrieving and handling large and complex spatial data sets. While such spatial relations play a fundamental role in specifying constraints in a spatial query language, there has been little concern as to whether existing spatial-relation algebras are cognitively plausible. In order to construct more intuitive and easier-to-use spatial query languages, this work pursues an alternative approach to spatial reasoning based on a small set of operators derived from concepts closely related to human thinking. The work focuses on a set of operators that are associated with the behavior of image schemata—recurrent patterns that people learn through bodily experiences and use for understanding the meaning of objects and situations. A study of a small-scale space, involving the surface and container schemata, describes objects in this space and the possible spatial relations among them. The informal description of these configurations are translated into a formal algebraic specification and generalized for spatial relations in a scene that involves surface and container schemata. This formalization axiomatizes spatial inferences that are then applied and compared to a larger geographic space. As a result, a small set of spatial operators are defined that apply to small- and large-scale spaces; however, these operators show discrepancies when applied to a combination of objects belonging to different scales. Interactive spatial query languages and spatial inference engines may be built on such basic spatial concepts as image schemata if they account for the differences in types, nature, and sizes of objects.

Andrea Rodríguez is partially supported by a Fulbright Fellowship. Max Egenhofer's work is partially supported by the National Science Foundation through NSF grants IRI-9309230, IRI-9613646, SBR-8810917, SBR 9700465, and BDI 9723873, by Rome Laboratory under grant number F30602-95-1-0042, by the National Imagery and Mapping Agency under grant number NMA202-97-1-1023, and by a Massive Digital Data Systems contract sponsored by the Advanced Research and Development Committee of the Community Management Staff.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • J. Albrecht (1996) Universal Analytical GIS Operations. Ph.D. Thesis, Hochschule Vechta, Germany.

    Google Scholar 

  • R. Bailey (1990) Functional Programming with Hope. Ellis Horwood, London.

    Google Scholar 

  • M. Egenhofer (1994) Deriving the Composition of Binary Topological Relations. Journal of Visual Languages and Computing 5(2): 133–149.

    Google Scholar 

  • M. Egenhofer and D. Mark (1995) Naive Geography. in: A. Frank and W. Kuhn (Eds.), Spatial Information Theory A Theoretical Basis for GIS, International Conference COSIT `95, Semmering, Austria. Lecture Notes in Computer Science 988, pp. 1–15, Springer-Verlag, Berlin.

    Google Scholar 

  • A. Frank (1991) Qualitative Spatial Reasoning about Cardinal Directions. in: D. Mark and D. White (Eds.), Autocarto 10, Baltimore, MD, pp. 148–167.

    Google Scholar 

  • C. Freksa (1991) Qualitative Spatial Reasoning. in: D. Mark and A. Frank (Eds.), Cognitive and Linguistics Aspects of Geographic Space, pp. 361–372, Kluwer Academic Publishers. Dordrecht.

    Google Scholar 

  • S. Freundschuh and M. Sharma (1996) Spatial Image Schemata, Locative Terms and Geographic Spaces in Children's Narrative. Cartographica 32(2):36–49.

    Google Scholar 

  • S. Freundschuh and M. Egenhofer (1997) Human Conceptualization of Spaces: Implications for Geographic Information Systems. Technical Report, National Center for Geographic Information and Analysis, University of Maine, Orono, ME.

    Google Scholar 

  • D. Hernàndez (1994) Qualitative Representation of Spatial Knowledge. Lecture Notes in Computer Science 804, Springer-Verlag, New York.

    Google Scholar 

  • P. Hayes (1990) Naive Physics I: Ontology for Liquids. in: D. Weld and J. de Kleer (Eds.), Reading in Qualitative Reasoning about Physical Systems. pp. 484–502, Morgan Kaufmann Publishers Inc., CA.

    Google Scholar 

  • S. Hirtle (1991) Knowledge Representation of Spatial Relations. in: J.-P. Doignon and J.-C. Falmagne (Eds.), Mathematical Psychology: Current Developments. pp. 233–249, Springer-Verlag, New York.

    Google Scholar 

  • J.-H. Hong, M. Egenhofer, and A. Frank (1995) On the Robustness of Qualitative Distance-and Direction Reasoning. in: D. Peuquet (Ed.), Autocarto 12, Charlotte, NC, pp. 301–310.

    Google Scholar 

  • M. Johnson (1987) The Body in the Mind. University of Chicago Press, Chicago, IL.

    Google Scholar 

  • M. Jones (1993) Gofer Functional Programming Environment, version 2.28. Available in ftp://dcs.glasgow.ac.uk/pub/haskell/gofer/.

    Google Scholar 

  • W. Kuhn and A. Frank (1991) A Formalization of Metaphors and Image-Schemas in User Interfaces. in: D. Mark and A. Frank (Eds.), Cognitive and Linguistic Aspects of Geographic Space. pp. 419–434, Kluwer Academic Publishers, Dordrecht.

    Google Scholar 

  • W. Kuhn (1993) Metaphors Create Theories for Users. in: A. U. Frank and I. Campari (Eds.), COSIT'93 Spatial Information Theory. Lecture Notes in Computer Science 716, pp. 366–376, Springer-Verlag, Berlin.

    Google Scholar 

  • B. Kuipers (1978) Modeling Spatial Knowledge. Cognitive Science 2: 129–153.

    Google Scholar 

  • G. Lakoff and M. Johnson (1980) Metaphors We Live By. The University of Chicago Press, Chicago, IL.

    Google Scholar 

  • G. Lakoff (1987) Women, Fire, and Dangerous Things: What Categories Reveal About the Mind. The University of Chicago Press, Chicago, IL.

    Google Scholar 

  • B. Liskov and J. Guttag (1986) Abstraction and Specification in Program Development. The MIT Electrical Engineering and Computer Science Series, The MIT Press, Cambridge, MA.

    Google Scholar 

  • J. McCarthy and P. Hayes (1969) Some Philosophical Problems from the Standpoint of Artificial Intelligence. in: B. Mettzer and D. Michie (Eds.), Machine Intelligence 4. pp. 463–502, Edinburgh University Press, Edinburgh.

    Google Scholar 

  • D. Mark (1989) Cognitive Image-Schemata for Geographic Information: Relation to User Views and GIS Interfaces. in: GIS/LIS'89. Vol. 2, pp. 551–560, Orlando, FL.

    Google Scholar 

  • D. Mark and M. Egenhofer (1994) Modeling Spatial Relations Between Lines and Regions: Combining Formal Mathematical Models and Human Subjects Testing. Cartography and Geographic Information Systems 21(4): 195–212.

    Google Scholar 

  • D. Mark and A. Frank (1996) Experiential and Formal Models of Geographic Space. Environment and Planning B 23(1): 3–24.

    Google Scholar 

  • D. Papadias and T. Sellis (1994) Qualitative Representation of Spatial Knowledge. Very Large Data Bases Journal, 3(4): 479–516.

    Google Scholar 

  • A. Rodríguez (1997), Specification for Containers and Surfaces written in Gofer. http://www.spatial.maine.edu/-andrea/cs.html.

    Google Scholar 

  • J. Sharma and D. Flewelling (1995) Inferences from Combined Knowledge about Topology and Directions, in: M. Egenhofer and J. Herring (Eds.), Advances in Spatial Databases-4th International Symposium, SSD'95, Portland, ME. Lecture Notes in Computer Science 951, pp. 279–291, Springer-Verlag, Berlin.

    Google Scholar 

  • B. Smith (1995) On Drawing Lines on a Map. in: A. Frank and W. Kuhn (Eds.), Spatial Information Theory A Theoretical Basis for GIS, International Conference COSIT'95, Semmering, Austria. Lecture Notes in Computer Science 988, pp. 475–484, Springer-Verlag, Berlin.

    Google Scholar 

  • D. Zubin (1989) Natural Language understanding and reference frames. in: D. Mark, A. Frank, M. Egenhofer, S. Freundschuh, M. McGranaghan, and R.M. White (Eds.) Languages of Spatial Relations: Initiative 2 Specialist Meeting Report Technical Paper 89-2 Santa Barbara, CA, National Center for Geographic Information and Analysis: 13–16. *** DIRECT SUPPORT *** A0008169 00002

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Center for Geographic Information and Analysis, University of Maine, 04469-5711, Orono, ME, USA

    M. Andrea Rodríguez & Max J. Egenhofer

  2. Department of Spatial Information Science and Engineering, University of Maine, 04469-5711, Orono, ME, USA

    M. Andrea Rodríguez & Max J. Egenhofer

Authors
  1. M. Andrea Rodríguez
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Max J. Egenhofer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen C. Hirtle Andrew U. Frank

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Andrea Rodríguez, M., Egenhofer, M.J. (1997). Image-schemata-based spatial inferences: The container-surface algebra. In: Hirtle, S.C., Frank, A.U. (eds) Spatial Information Theory A Theoretical Basis for GIS. COSIT 1997. Lecture Notes in Computer Science, vol 1329. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63623-4_41

Download citation

  • DOI: https://doi.org/10.1007/3-540-63623-4_41

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63623-6

  • Online ISBN: 978-3-540-69616-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics