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). © 2013 Springer International Publishing Switzerland.
Cite
CITATION STYLE
Du, H., Alechina, N., Stock, K., & Jackson, M. (2013). The logic of NEAR and FAR. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8116 LNCS, pp. 475–494). Springer Verlag. https://doi.org/10.1007/978-3-319-01790-7_26
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
