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 publicationSTAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium
EditorsUlle Endriss, Joao Leite
PublisherIOS Press BV
Number of pages10
ISBN (Electronic)9781614994206
Publication statusPublished - 2014
Externally publishedYes
Event7th European Starting AI Researcher Symposium, STAIRS 2014 - Prague, Czech Republic
Duration: 18 Aug 201419 Aug 2014

Publication series

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


Conference7th European Starting AI Researcher Symposium, STAIRS 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