TY - GEN
T1 - The logic of NEAR and FAR
AU - Du, Heshan
AU - Alechina, Natasha
AU - Stock, Kristin
AU - Jackson, Michael
N1 - Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
PY - 2013
Y1 - 2013
N2 - 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).
AB - 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).
UR - http://www.scopus.com/inward/record.url?scp=84885013993&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-01790-7_26
DO - 10.1007/978-3-319-01790-7_26
M3 - Conference contribution
AN - SCOPUS:84885013993
SN - 9783319017891
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 475
EP - 494
BT - Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings
PB - Springer Verlag
T2 - 11th International Conference on Spatial Information Theory, COSIT 2013
Y2 - 2 September 2013 through 6 September 2013
ER -