Formal specification of image schemata -- a step towards interoperability in geographic information systems

The formal specification of spatial objects and spatial relations is at the core of geographic data exchange and interoperability for geographic information systems (GIS). It is necessary that the representation of such objects and relations comes close to how people use them in their everyday lives, i.e., that these specifications are built upon elements of human spatial cognition. Image schemata have been suggested as highly abstract and structured mental patterns to capture spatial and similar physical as well as metaphorical relations between objects in the experiential world. We assume that image-schematic details for large-scale (geographic) space are potentially different from image-schematic details for small-scale (table-top) space. This paper reviews methods for the formal description of spatial relations, integrates them in a categorical view, and applies the methods arrived at to formally specify image schemata for large-scale (LOCATION, PATH, REGION, and BOUNDARY) as well as small-scale (CONTAINER, SURFACE, and LINK) space. These specifications should provide a foundation for further research on formalizing elements of human spatial cognition for interoperability in GIS.

[1]  Erik Poll,et al.  Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997). , 1999 .

[2]  Martin Raubal,et al.  Comparing the Complexity of Wayfinding Tasks in Built Environments , 1998 .

[3]  Edmund Husserl,et al.  E. Schröder, Vorlesungen über die Algebra der Logik (Exakte Logik), I. Band, Leipzig 1890 (1891) , 1979 .

[4]  Max J. Egenhofer,et al.  Relation algebras over containers and surfaces: An ontological study of a room space , 1999, Spatial Cogn. Comput..

[5]  John McCarthy,et al.  Epistemological Problems of Artificial Intelligence , 1987, IJCAI.

[6]  Max J. Egenhofer,et al.  Why not SQL! , 1992, Int. J. Geogr. Inf. Sci..

[7]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[8]  Richard S. Bird,et al.  Algebra of programming , 1997, Prentice Hall International series in computer science.

[9]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[10]  Daniel R. Montello,et al.  How Significant Are Cultural Differences in Spatial Cognition? , 1995, COSIT.

[11]  Scott M. Freundschuh,et al.  Spatial Image Schemata, Locative Terms, and Geographic Spaces in Children's Narrative: Fostering Spatial Skills in Children , 1995 .

[12]  Philip Wadler,et al.  How to declare an imperative , 1997, CSUR.

[13]  Andrew U. Frank,et al.  Theories and Methods of Spatio-Temporal Reasoning in Geographic Space , 1992, Lecture Notes in Computer Science.

[14]  Daniel R. Montello,et al.  Scale and Multiple Psychologies of Space , 1993, COSIT.

[15]  Patrick J. Hayes,et al.  The second naive physics manifesto , 1995 .

[16]  Christoph Schlieder,et al.  Reasoning About Ordering , 1995, COSIT.

[17]  E. Rosch.  ON THE INTERNAL STRUCTURE OF PERCEPTUAL AND SEMANTIC CATEGORIES1 , 1973 .

[18]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[19]  M. Bowerman.  Learning how to structure space for language: A crosslinguistic perspective , 1996 .

[20]  E. Schröder.  Vorlesungen über die Algebra der Logik (Exakte Logik) , 1966 .

[21]  Fausto Giunchiglia,et al.  A Theory of Abstraction , 1992, Artif. Intell..

[22]  C. J. Date.  An introduction to database systems (7. ed.) , 1999 .

[23]  Christian Freksa,et al.  Qualitative spatial reasoning , 1990, Forschungsberichte, TU Munich.

[24]  Nectaria Tryfona,et al.  Structuring Space with Image Schemata: Wayfinding in Airports as a Case Study , 1997, COSIT.

[25]  Giuseppe Longo,et al.  Categories, types and structures - an introduction to category theory for the working computer scientist , 1991, Foundations of computing.

[26]  A. Wierzbicka.  Semantics: Primes and Universals , 1996 .

[27]  R. F. C. Walters,et al.  Categories and computer science , 1992, Cambridge computer science texts.

[28]  Eliseo Clementini,et al.  Qualitative Distances , 1995, COSIT.

[29]  Annette Herskovits.  Language, Spatial Cognition, and Vision , 1997 .

[30]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[31]  P. S. Aleksandrov,et al.  Elementary concepts of topology , 1961 .

[32]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[33]  Kevin Lynch,et al.  The Image of the City , 1960 .

[34]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[35]  Daniel R. Montello,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1995, Lecture Notes in Computer Science.

[36]  G. Lakoff.  Women, fire, and dangerous things : what categories reveal about the mind , 1989 .

[37]  Barry Smith,et al.  On Drawing Lines on a Map , 1995, COSIT.

[38]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[39]  John D. Barrow.  Mathematical Malaises. (Book Reviews: Pi in the Sky. Counting, Thinking, and Being.) , 1993 .

[40]  Andrew U. Frank,et al.  Spatial Information Theory A Theoretical Basis for GIS , 1993, Lecture Notes in Computer Science.

[41]  J. Gibson.  The Ecological Approach to Visual Perception , 1979 .

[42]  Mark P. Jones,et al.  The implementation of the Gofer functional programming system , 1994 .

[43]  Daniel Hernández,et al.  Relative representation of spatial knowledge: the 2-D case , 1990, Forschungsberichte, TU Munich.

[44]  Martin Raubal,et al.  An Affordance-Based Model of Place in GIS , 1999 .

[45]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[46]  Colin Potts,et al.  Design of Everyday Things , 1988 .

[47]  Andrew U. Frank,et al.  A Formalization of Metaphors and Image-Schemas in User Interfaces , 1991 .

[48]  N. Presmeg.  The body in the mind: The bodily basis of meaning, imagination and reason , 1992 .

[49]  M. Knauff,et al.  Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus , 1995 .

[50]  Annette Herskovits,et al.  Language and spatial cognition , 1986 .

[51]  P. Burrough,et al.  Geographic Objects with Indeterminate Boundaries , 1996 .

[52]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[53]  David M. Mark,et al.  Evaluating and Refining Computational Models of Spatial Relations Through Cross-Linguistic Human-Subjects Testing , 1995, COSIT.

[54]  John D. Barrow,et al.  Pi in the sky , 1984, Nature.

[55]  David M. Mark,et al.  Toward a Theoretical Framework for Geographic Entity Types , 1993, COSIT.

[56]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning: Cardinal Directions as an Example , 1996, Int. J. Geogr. Inf. Sci..

[57]  David M. Mark,et al.  Experiential and Formal Models of Geographic Space , 1996 .

[58]  Werner Kuhn,et al.  Metaphors Create Theories For Users , 1993, COSIT.

[59]  Agnès Voisard,et al.  Abstraction and Decomposition in Open GIS , 1997 .

[60]  Eleanor Rosch,et al.  Principles of Categorization , 1978 .

[61]  Roger D. Maddux,et al.  The origin of relation algebras in the development and axiomatization of the calculus of relations , 1991, Stud Logica.

[62]  Andrew U. Frank,et al.  Qualitative Spatial Reasoning with Cardinal Directions , 1991, ÖGAI.

[63]  Sabine Timpf,et al.  A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction , 1992, Spatio-Temporal Reasoning.

[64]  Andrew U. Frank,et al.  Qualitative spatial reasoning about distances and directions in geographic space , 1992, J. Vis. Lang. Comput..

[65]  Helen Couclelis,et al.  People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS , 1992, Spatio-Temporal Reasoning.

[66]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[67]  E. Soja,et al.  The political organization of space , 1971 .

[68]  Max J. Egenhofer,et al.  Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra , 1997, COSIT.

[69]  David M. Mark,et al.  Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms , 1998, Int. J. Geogr. Inf. Sci..

[70]  Patrick J. Hayes,et al.  In Defense of Logic , 1977, IJCAI.

[71]  Paul Hudak,et al.  Monad transformers and modular interpreters , 1995, POPL '95.

[72]  Max J. Egenhofer,et al.  Deriving the Composition of Binary Topological Relations , 1994, J. Vis. Lang. Comput..

[73]  Andrew U. Frank,et al.  SPECIFICATIONS FOR INTEROPERABILITY: FORMALIZING IMAGE SCHEMATA FOR GEOGRAPHIC SPACE , 1999 .

[74]  Dimitrios Papadias,et al.  A Pictorial Language for the Retrieval of Spatial Relations from Image Databases , 1994 .

[75]  G. Lakoff,et al.  Metaphors We Live by , 1982 .