A logic of part and whole for buffered geometries

Heshan Du; Natasha Alechina

doi:10.3233/978-1-61499-419-0-997

A logic of part and whole for buffered geometries

Heshan Du, Natasha Alechina

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

2 Citations (Scopus)

Abstract

We propose a new qualitative spatial logic for reasoning about part-whole relations between geometries (sets of points) represented in different geospatial datasets, in particular crowd-sourced datasets. Since geometries in crowd-sourced data can be less inaccurate or precise, we buffer geometries by a margin of error or level of tolerance σ, and define part-whole relation for buffered geometries. The relations between geometries considered in the logic are: buffered part of (BPT), Near and Far. We provide a sound and complete axiomatisation of the logic with respect to metric models, and show that its satisfiability problem is NP-complete.

Original language	English
Title of host publication	ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
Editors	Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan
Publisher	IOS Press BV
Pages	997-998
Number of pages	2
ISBN (Electronic)	9781614994183
DOIs	https://doi.org/10.3233/978-1-61499-419-0-997
Publication status	Published - 2014
Externally published	Yes
Event	21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic Duration: 18 Aug 2014 → 22 Aug 2014

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	263
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	21st European Conference on Artificial Intelligence, ECAI 2014
Country/Territory	Czech Republic
City	Prague
Period	18/08/14 → 22/08/14

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/978-1-61499-419-0-997

Cite this

Du, H., & Alechina, N. (2014). A logic of part and whole for buffered geometries. In T. Schaub, G. Friedrich, & B. O'Sullivan (Eds.), ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings (pp. 997-998). (Frontiers in Artificial Intelligence and Applications; Vol. 263). IOS Press BV. https://doi.org/10.3233/978-1-61499-419-0-997

Du, Heshan ; Alechina, Natasha. / A logic of part and whole for buffered geometries. ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. editor / Torsten Schaub ; Gerhard Friedrich ; Barry O'Sullivan. IOS Press BV, 2014. pp. 997-998 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{62ac0fe79210474aaedfbfd33a2e2feb,

title = "A logic of part and whole for buffered geometries",

abstract = "We propose a new qualitative spatial logic for reasoning about part-whole relations between geometries (sets of points) represented in different geospatial datasets, in particular crowd-sourced datasets. Since geometries in crowd-sourced data can be less inaccurate or precise, we buffer geometries by a margin of error or level of tolerance σ, and define part-whole relation for buffered geometries. The relations between geometries considered in the logic are: buffered part of (BPT), Near and Far. We provide a sound and complete axiomatisation of the logic with respect to metric models, and show that its satisfiability problem is NP-complete.",

author = "Heshan Du and Natasha Alechina",

note = "Publisher Copyright: {\textcopyright} 2014 The Authors and IOS Press.; 21st European Conference on Artificial Intelligence, ECAI 2014 ; Conference date: 18-08-2014 Through 22-08-2014",

year = "2014",

doi = "10.3233/978-1-61499-419-0-997",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "997--998",

editor = "Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan",

booktitle = "ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings",

address = "Netherlands",

}

Du, H & Alechina, N 2014, A logic of part and whole for buffered geometries. in T Schaub, G Friedrich & B O'Sullivan (eds), ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. Frontiers in Artificial Intelligence and Applications, vol. 263, IOS Press BV, pp. 997-998, 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, 18/08/14. https://doi.org/10.3233/978-1-61499-419-0-997

A logic of part and whole for buffered geometries. / Du, Heshan; Alechina, Natasha.
ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. ed. / Torsten Schaub; Gerhard Friedrich; Barry O'Sullivan. IOS Press BV, 2014. p. 997-998 (Frontiers in Artificial Intelligence and Applications; Vol. 263).

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

TY - GEN

T1 - A logic of part and whole for buffered geometries

AU - Du, Heshan

AU - Alechina, Natasha

PY - 2014

Y1 - 2014

N2 - We propose a new qualitative spatial logic for reasoning about part-whole relations between geometries (sets of points) represented in different geospatial datasets, in particular crowd-sourced datasets. Since geometries in crowd-sourced data can be less inaccurate or precise, we buffer geometries by a margin of error or level of tolerance σ, and define part-whole relation for buffered geometries. The relations between geometries considered in the logic are: buffered part of (BPT), Near and Far. We provide a sound and complete axiomatisation of the logic with respect to metric models, and show that its satisfiability problem is NP-complete.

AB - We propose a new qualitative spatial logic for reasoning about part-whole relations between geometries (sets of points) represented in different geospatial datasets, in particular crowd-sourced datasets. Since geometries in crowd-sourced data can be less inaccurate or precise, we buffer geometries by a margin of error or level of tolerance σ, and define part-whole relation for buffered geometries. The relations between geometries considered in the logic are: buffered part of (BPT), Near and Far. We provide a sound and complete axiomatisation of the logic with respect to metric models, and show that its satisfiability problem is NP-complete.

UR - http://www.scopus.com/inward/record.url?scp=84923203979&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-419-0-997

DO - 10.3233/978-1-61499-419-0-997

M3 - Conference contribution

AN - SCOPUS:84923203979

T3 - Frontiers in Artificial Intelligence and Applications

SP - 997

EP - 998

BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings

A2 - Schaub, Torsten

A2 - Friedrich, Gerhard

A2 - O'Sullivan, Barry

PB - IOS Press BV

T2 - 21st European Conference on Artificial Intelligence, ECAI 2014

Y2 - 18 August 2014 through 22 August 2014

ER -

Du H, Alechina N. A logic of part and whole for buffered geometries. In Schaub T, Friedrich G, O'Sullivan B, editors, ECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press BV. 2014. p. 997-998. (Frontiers in Artificial Intelligence and Applications). doi: 10.3233/978-1-61499-419-0-997

A logic of part and whole for buffered geometries

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this