TY - GEN
T1 - A Logic of Part and Whole for Buffered Geometries
AU - Du, Heshan
AU - Alechina, Natasha
N1 - Publisher Copyright:
© 2014 The Authors and IOS Press.
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=84948670044&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-421-3-91
DO - 10.3233/978-1-61499-421-3-91
M3 - Conference contribution
AN - SCOPUS:84948670044
T3 - Frontiers in Artificial Intelligence and Applications
SP - 91
EP - 100
BT - STAIRS 2014 - Proceedings of the 7th European Starting AI Researcher Symposium
A2 - Endriss, Ulle
A2 - Leite, Joao
PB - IOS Press BV
T2 - 7th European Starting AI Researcher Symposium, STAIRS 2014
Y2 - 18 August 2014 through 19 August 2014
ER -