The logic of NEAR and FAR

Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson

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

9 Citations (Scopus)

Abstract

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
Pages475-494
Number of pages20
ISBN (Print)9783319017891
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event11th International Conference on Spatial Information Theory, COSIT 2013 - Scarborough, United Kingdom
Duration: 2 Sep 20136 Sep 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

Conference

Conference11th International Conference on Spatial Information Theory, COSIT 2013
Country/TerritoryUnited Kingdom
CityScarborough
Period2/09/136/09/13

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science (all)

Fingerprint

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

Cite this