The logic of NEAR and FAR

Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

12 Citations (Scopus)


We propose a new qualitative spatial logic based on metric (distance) relations between spatial objects. We provide a sound and complete axiomatisation of the logic with respect to metric models. The logic is intended for use in checking consistency of matching geospatial individuals from different data sets, where some data sets may be imprecise (e.g. crowd-sourced data).

Original languageEnglish
Title of host publicationSpatial Information Theory - 11th International Conference, COSIT 2013, Proceedings
PublisherSpringer Verlag
Number of pages20
ISBN (Print)9783319017891
Publication statusPublished - 2013
Externally publishedYes
Event11th International Conference on Spatial Information Theory, COSIT 2013 - Scarborough, United Kingdom
Duration: 2 Sept 20136 Sept 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8116 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Conference on Spatial Information Theory, COSIT 2013
Country/TerritoryUnited Kingdom

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The logic of NEAR and FAR'. Together they form a unique fingerprint.

Cite this