Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Algorithms
Category theory for computing science
Category theory for computing science
An introduction to functional programming
An introduction to functional programming
Categories, types, and structures: an introduction to category theory for the working computer scientist
Categories and computer science
Categories and computer science
Monad transformers and modular interpreters
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebra of programming
ACM Computing Surveys (CSUR)
An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
Language and Spatial Cognition
Language and Spatial Cognition
Formal Theories of the Commonsense World
Formal Theories of the Commonsense World
Relation algebras over containers and surfaces: An ontological study of a room space
Spatial Cognition and Computation
Structuring Space with Image Schemata: Wayfinding in Airports as a Case Study
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
Image-Schemata-Based Spatial Inferences: The Container-Surface Algebra
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
A Conceptual Model of Wayfinding Using Multiple Levels of Abstraction
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
People Manipulate Objects (but Cultivate Fields): Beyond the Raster-Vector Debate in GIS
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
Learning geoscience categories in Situ: implications for geographic knowledge representation
Proceedings of the 9th ACM international symposium on Advances in geographic information systems
Two Path Prepositions: Along and Past
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Modeling the Semantics of Geographic Categories through Conceptual Integration
GIScience '02 Proceedings of the Second International Conference on Geographic Information Science
Mental representation and processing of geographic knowledge
A Semantic and Language-Based Model of Landscape Scenes
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Spatial semantics in difference spaces
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
An image-schematic account of spatial categories
COSIT'07 Proceedings of the 8th international conference on Spatial information theory
An algebraic approach to image schemas for geographic space
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Geospatial semantics: a critical review
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part I
Spatial interpretations of preposition "at"
Proceedings of the 1st ACM SIGSPATIAL International Workshop on Crowdsourced and Volunteered Geographic Information
Hi-index | 0.00 |
The formal specification of spatial objects andspatial relations is at the core of geographic dataexchange and interoperability for geographicinformation systems (GIS). It is necessary that therepresentation of such objects and relations comesclose to how people use them in their everyday lives,i.e., that these specifications are built uponelements of human spatial cognition. Image schematahave been suggested as highly abstract and structuredmental patterns to capture spatial and similarphysical as well as metaphorical relations betweenobjects in the experiential world. We assume thatimage-schematic details for large-scale (geographic)space are potentially different from image-schematicdetails for small-scale (table-top) space. This paperreviews methods for the formal description of spatialrelations, integrates them in a categorical view, andapplies the methods arrived at to formally specifyimage schemata for large-scale (LOCATION, PATH,REGION, and BOUNDARY) as well as small-scale(CONTAINER, SURFACE, and LINK) space. Thesespecifications should provide a foundation for furtherresearch on formalizing elements of human spatialcognition for interoperability in GIS.