Qualitative spatial logics for buffered geometries
This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-sourced data are usually not very accurate or precise, w...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Association for the Advancement of Artificial Intelligence
2016
|
| Online Access: | https://eprints.nottingham.ac.uk/35443/ |
| _version_ | 1848795078653378560 |
|---|---|
| author | Du, Heshan Alechina, Natasha |
| author_facet | Du, Heshan Alechina, Natasha |
| author_sort | Du, Heshan |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-sourced data are usually not very accurate or precise, we buffer geometries by a margin of error or a level of tolerance a E R≥0, and define spatial relations for buffered geometries. The spatial logics formalize the notions of 'buffered equal' (intuitively corresponding to `possibly sameAs'), 'buffered part of' ('possibly partOf'), 'near' (`possibly connected') and 'far' ('definitely disconnected'). A sound and complete axiomatisation of each logic is provided with respect to models based on metric spaces. For each of the logics, the satisfiability problem is shown to be NP-complete. Finally, we briefly describe how the logics are used in a system for generating and debugging matches between spatial objects, and report positive experimental evaluation results for the system. |
| first_indexed | 2025-11-14T19:26:22Z |
| format | Article |
| id | nottingham-35443 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T19:26:22Z |
| publishDate | 2016 |
| publisher | Association for the Advancement of Artificial Intelligence |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-354432020-05-08T10:15:44Z https://eprints.nottingham.ac.uk/35443/ Qualitative spatial logics for buffered geometries Du, Heshan Alechina, Natasha This paper describes a series of new qualitative spatial logics for checking consistency of sameAs and partOf matches between spatial objects from different geospatial datasets, especially from crowd-sourced datasets. Since geometries in crowd-sourced data are usually not very accurate or precise, we buffer geometries by a margin of error or a level of tolerance a E R≥0, and define spatial relations for buffered geometries. The spatial logics formalize the notions of 'buffered equal' (intuitively corresponding to `possibly sameAs'), 'buffered part of' ('possibly partOf'), 'near' (`possibly connected') and 'far' ('definitely disconnected'). A sound and complete axiomatisation of each logic is provided with respect to models based on metric spaces. For each of the logics, the satisfiability problem is shown to be NP-complete. Finally, we briefly describe how the logics are used in a system for generating and debugging matches between spatial objects, and report positive experimental evaluation results for the system. Association for the Advancement of Artificial Intelligence 2016-07-18 Article PeerReviewed application/pdf en https://eprints.nottingham.ac.uk/35443/1/JAIR5140-DuAlechina-2016.pdf Du, Heshan and Alechina, Natasha (2016) Qualitative spatial logics for buffered geometries. Journal of Artificial Intelligence Research, 56 . pp. 693-745. ISSN 1076-9757 http://jair.org/papers/paper5140.html doi:10.1613/jair.5140 doi:10.1613/jair.5140 |
| spellingShingle | Du, Heshan Alechina, Natasha Qualitative spatial logics for buffered geometries |
| title | Qualitative spatial logics for buffered geometries |
| title_full | Qualitative spatial logics for buffered geometries |
| title_fullStr | Qualitative spatial logics for buffered geometries |
| title_full_unstemmed | Qualitative spatial logics for buffered geometries |
| title_short | Qualitative spatial logics for buffered geometries |
| title_sort | qualitative spatial logics for buffered geometries |
| url | https://eprints.nottingham.ac.uk/35443/ https://eprints.nottingham.ac.uk/35443/ https://eprints.nottingham.ac.uk/35443/ |