Centre de documentation
scientifique

Dépouillements

Qualitative spatial logics for buffered geometries / Heshan Du in Journal of Artificial Intelligence Research, vol 56 (May - August 2016)  

Public [article]  inJournal of Artificial Intelligence Research > vol 56 (May - August 2016) . - pp 693 - 745 Titre : Qualitative spatial logics for buffered geometries Type de document : Article/Communication Auteurs : Heshan Du, Auteur ; Natasha Alechina, Auteur Année de publication : 2016 Article en page(s) : pp 693 - 745 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] base de données localisées [Termes IGN] cohérence des données [Termes IGN] cohérence géométrique [Termes IGN] cohérence logique [Termes IGN] données hétérogènes [Termes IGN] données localisées des bénévoles [Termes IGN] espace métrique [Termes IGN] objet géographique [Termes IGN] OpenStreetMap [Termes IGN] relation spatiale [Termes IGN] zone tampon Résumé : (auteur) 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, 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. Numéro de notice : A2016--130 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1613/jair.5140 En ligne : https://doi.org/10.1613/jair.5140 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=85122 [article]