A logic of part and whole for buffered geometries

Heshan Du, Natasha Alechina

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

2 Citations (Scopus)


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 languageEnglish
Title of host publicationECAI 2014 - 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings
EditorsTorsten Schaub, Gerhard Friedrich, Barry O'Sullivan
PublisherIOS Press BV
Number of pages2
ISBN (Electronic)9781614994183
Publication statusPublished - 2014
Externally publishedYes
Event21st European Conference on Artificial Intelligence, ECAI 2014 - Prague, Czech Republic
Duration: 18 Aug 201422 Aug 2014

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389
ISSN (Electronic)1879-8314


Conference21st European Conference on Artificial Intelligence, ECAI 2014
Country/TerritoryCzech Republic

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'A logic of part and whole for buffered geometries'. Together they form a unique fingerprint.

Cite this