Logics for geographic information

Oliver Lemon and Ian Pratt
Additional contact information
Oliver Lemon: Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK (e-mail: lemonoj, ipratt@cs.man.ac.uk)
Ian Pratt: Department of Computer Science, University of Manchester, Oxford Road, Manchester M13 9PL, UK (e-mail: lemonoj, ipratt@cs.man.ac.uk)

Journal of Geographical Systems, 1999, vol. 1, issue 1, 75-90

Abstract: Abstract. We provide an overview of recent results in spatial logic, and discuss their relevance for the development of formal representations of geographic knowledge. Several proposed “spatial” logics are explored. We discuss their applicability to computational geography, and ultimately investigate their credentials as logics of space. A “non-revisionist” adequacy criterion for spatial logics is proposed, according to which a logic is truly a spatial logic only if all consistent sets of sentences of that logic are realizable in a classical model of space. Various proposed spatial logics can be shown not to satisfy this criterion. The observations constitute incompleteness results for certain spatial logics, because they show that consistent sets of formulae in these logics do not have models of the intended sort. The implications of these results are discussed with reference to the role of logics as spatial description languages for geographical information systems (GIS). Finally, we describe a complete calculus for plane mereotopology, which has recently been developed.

Keywords: Key words: Spatial logic; formal semantics; completeness; modal logic; mereotopology; JEL classification: C60; C63; C80; C88 (search for similar items in EconPapers)
Date: 1999
References: Add references at CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s101090050006 Abstract (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:kap:jgeosy:v:1:y:1999:i:1:d:10.1007_s101090050006

Ordering information: This journal article can be ordered from
http://www.springer. ... ce/journal/10109/PS2

DOI: 10.1007/s101090050006

Access Statistics for this article

Journal of Geographical Systems is currently edited by Manfred M. Fischer and Antonio Páez

More articles in Journal of Geographical Systems from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().