The logic of NEAR and FAR

Heshan Du; Natasha Alechina; Kristin Stock; Michael Jackson

doi:10.1007/978-3-319-01790-7_26

The logic of NEAR and FAR

Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

12 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 language	English
Title of host publication	Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings
Publisher	Springer Verlag
Pages	475-494
Number of pages	20
ISBN (Print)	9783319017891
DOIs	https://doi.org/10.1007/978-3-319-01790-7_26
Publication status	Published - 2013
Externally published	Yes
Event	11th International Conference on Spatial Information Theory, COSIT 2013 - Scarborough, United Kingdom Duration: 2 Sept 2013 → 6 Sept 2013

Publication series

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

Conference

Conference	11th International Conference on Spatial Information Theory, COSIT 2013
Country/Territory	United Kingdom
City	Scarborough
Period	2/09/13 → 6/09/13

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-01790-7_26

Cite this

Du, H., Alechina, N., Stock, K., & Jackson, M. (2013). The logic of NEAR and FAR. In Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings (pp. 475-494). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8116 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-01790-7_26

@inproceedings{8e366deb16ad4be896eb631039f31ac2,

title = "The logic of NEAR and FAR",

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).",

author = "Heshan Du and Natasha Alechina and Kristin Stock and Michael Jackson",

year = "2013",

doi = "10.1007/978-3-319-01790-7_26",

language = "English",

isbn = "9783319017891",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "475--494",

booktitle = "Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings",

address = "Germany",

}

Du, H, Alechina, N, Stock, K & Jackson, M 2013, The logic of NEAR and FAR. in Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8116 LNCS, Springer Verlag, pp. 475-494, 11th International Conference on Spatial Information Theory, COSIT 2013, Scarborough, United Kingdom, 2/09/13. https://doi.org/10.1007/978-3-319-01790-7_26

The logic of NEAR and FAR. / Du, Heshan; Alechina, Natasha; Stock, Kristin et al.
Spatial Information Theory - 11th International Conference, COSIT 2013, Proceedings. Springer Verlag, 2013. p. 475-494 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8116 LNCS).

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - The logic of NEAR and FAR

AU - Du, Heshan

AU - Alechina, Natasha

AU - Stock, Kristin

AU - Jackson, Michael

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 -

The logic of NEAR and FAR

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this