Centre de documentation
scientifique

Matching disparate geospatial datasets and validating matches using spatial logic / Heshan Du (2015)

Public Titre : Matching disparate geospatial datasets and validating matches using spatial logic Type de document : Thèse/HDR Auteurs : Heshan Du, Auteur ; Natasha Alechina, Directeur de thèse ; M.J. Jackson, Directeur de thèse Editeur : Nottingham : University of Nottingham Année de publication : 2015 Importance : 211 p. Note générale : Bibliographie Thesis submitted to the University of Nottingham for the degree of Doctor of Philosophy Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] appariement de données localisées [Termes IGN] appariement géométrique [Termes IGN] cartographie collaborative [Termes IGN] cohérence des données [Termes IGN] données localisées de référence [Termes IGN] données localisées des bénévoles [Termes IGN] données vectorielles [Termes IGN] intégration de données [Termes IGN] jeu de données localisées [Termes IGN] ontologie [Termes IGN] OpenStreetMap [Termes IGN] Ordnance Survey (UK) [Termes IGN] relation topologique [Termes IGN] zone tampon Résumé : (auteur) In recent years, the emergence and development of crowd-sourced geospatial data has provided challenges and opportunities to national mapping agencies as well as commercial mapping organisations. Crowd-sourced data involves non-specialists in data collection, sharing and maintenance. Compared to authoritative geospatial data, which is collected by surveyors or other geodata professionals, crowd-sourced data is less accurate and less structured, but often provides richer user-based information and reflects real world changes more quickly at a much lower cost. In order to maximize the synergistic use of authoritative and crowd-sourced geospatial data, this research investigates the problem of how to establish and validate correspondences (matches) between spatial features from disparate geospatial datasets. To reason about and validate matches between spatial features, a series of new qualitative spatial logics was developed. Their soundness, completeness, decidability and complexity theorems were proved for models based on a metric space. A software tool `MatchMaps' was developed, which generates matches using location and lexical information, and verifies consistency of matches using reasoning in description logic and qualitative spatial logic. MatchMaps was evaluated by the author and experts from Ordnance Survey, the national mapping agency of Great Britain. In experiments, it achieved high precision and recall, as well as reduced human effort. The methodology developed and implemented in MatchMaps has a wider application than matching authoritative and crowd-sourced data and could be applied wherever it is necessary to match two geospatial datasets of vector data. Note de contenu : 1. Introduction 1.1. Research Question 1.2. Research Aim and Objectives 1.3. Contributions and Structure of the Thesis 2. Context of Research 2.1. Development of Crowd-sourced Geospatial Data 2.2. Quality of OpenStreetMap Data 2.3. Usability of OpenStreetMap Data 3. Litterature Review 3.1. Geospatial Data Matching 3.2. Ontology Matching 3.3. Spatial Logic 4. A Framework for Integrating Geospatial Datasets 4.1. Building up the Framework 4.2. Rationale of the Framework 4.3. MatchMaps: an Implemented System 5. Matching Spatial Features 5.1. Theoretical Basis for Matching Geometries 5.2. Matching Geometries 5.3. Matching Spatial Objects 6. Validating Matches using Description Logic 6.1. Description Logic ALCO 6.2. Validationg Terminology Matches using Description Logic 6.3. Validating Object Matches using Description Logic 7. A Logic of NEAR and FAR for Buffered Points 7.1. Syntax, Semantics and Axioms of LNF 7.2. Soundness and Completeness of LNF 7.3. Decidability and Complexity of LNF 7.4. Interpreting L(LNF) in R² 8. A Logic of NEAR and FAR for Buffered Geometries 8.1. Syntax, Semantics and Axioms of LNFS 8.2. Soundness and Completeness of LNFS 8.3. Decidability and Complexity of LNFS 8.4. Interpreting L(LNFS) in R² 9. A Logic of Part and Whole for Buffered Geometries 9.1. Syntax, Semantics and Axioms of LBPT 9.2. Soundness and Completeness of LBPT 9.3. Decidability and Complexity of LBPT 9.4. Interpreting L(LBPT) in R² 10. Validating Matches using Qualitative spatial Logic 10.1. Validating Matches using LNF, LNFS ans LBPT 10.2. Actions for Retracting Problematic Matches 11. Evaluation and Discussion 11.1. Developer Evaluation of MatchMaps 11.2. User Evaluation of MatchMaps 11.3. Discussion 12. Conclusion and Future Work 12.1. Conclusion 12.2. Future Work Numéro de notice : 19794 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Thèse étrangère Note de thèse : PhD thesis : : Nottingham : 2015 Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=85041

Using qualitative spatial logic for validating crowd-sourced geospatial data / Heshan Du (2015)    

Public Titre : Using qualitative spatial logic for validating crowd-sourced geospatial data Type de document : Article/Communication Auteurs : Heshan Du, Auteur ; Hai Hoang Nguyen, Auteur ; Natasha Alechina, Auteur ; Brian Logan, Auteur ; Mike Jackson, Auteur ; John Goodwin, Auteur Editeur : Nottingham : University of Nottingham Année de publication : 2015 Conférence : IAAI 2015, 27th conference on Innovative Applications of Artificial Intelligence 25/01/2015 29/01/2015 Austin Texas - Etats-Unis open access proceedings Importance : 7 p. Format : 21 x 30 cm Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] appariement de données localisées [Termes IGN] cohérence des données [Termes IGN] données localisées [Termes IGN] données localisées de référence [Termes IGN] données localisées des bénévoles [Termes IGN] logique [Termes IGN] Ordnance Survey (UK) Résumé : (auteur) We describe a tool, MatchMaps, that generates sameAs and partOf matches between spatial objects (such as shops, shopping centres, etc.) in crowd-sourced and authoritative geospatial datasets. MatchMaps uses reasoning in qualitative spatial logic, description logic and truth maintenance techniques, to produce a consistent set of matches. We report the results of an initial evaluation of MatchMaps by experts from Ordnance Survey (Great Britain's National Mapping Authority). In both the case studies considered, MatchMaps was able to correctly match spatial objects (high precision and recall) with minimal human intervention. Numéro de notice : C2015-054 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Communication DOI : sans En ligne : https://www.aaai.org/ocs/index.php/IAAI/IAAI15/paper/view/9687/9896 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=85127

Documents numériques

en open access Using qualitative spatial logic Adobe Acrobat PDF

Fifth international seminar on the Global Positioning System / Institute of engineering surveying (1992)

Public Titre : Fifth international seminar on the Global Positioning System Type de document : Actes de congrès Auteurs : Institute of engineering surveying, Auteur Editeur : Nottingham : University of Nottingham Année de publication : 1992 Importance : 300 p. Format : 21 x 30 cm Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géodésie spatiale [Termes IGN] Cinématique [Termes IGN] géophysique interne [Termes IGN] Global Positioning System [Termes IGN] navigation [Termes IGN] positionnement cinématique [Termes IGN] positionnement par GPS [Termes IGN] système de positionnement par satellites [Termes IGN] système de référence géodésique Index. décimale : CG1992 Actes de congrès en 1992 Numéro de notice : 67669 Affiliation des auteurs : non IGN Thématique : POSITIONNEMENT Nature : Actes Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=37157

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
67669-01	CG.92	Livre	Centre de documentation	En réserve M-103	Disponible

Atmospheric corrections for remote sensing / E.M. Rollin (1985)

Public Titre : Atmospheric corrections for remote sensing : Proceedings of a remote sensing workshop, organised by University of Nottingham remote sensing group for the Remote sensing society, at the department of Geography, University of Nottingham, England, 22 May 1985 Type de document : Actes de congrès Auteurs : E.M. Rollin, Éditeur scientifique ; M.D. Steven, Éditeur scientifique ; Paul M. Mather, Éditeur scientifique Congrès : Congrès: RSS 1985, remote sensing workshop Atmospheric corrections for remote sensing (22 mai 1985; University of Nottingham, Nottingham, Royaume-Uni), Auteur Editeur : Nottingham : University of Nottingham Année de publication : 1985 Importance : 192 p. Format : 15 x 21 cm ISBN/ISSN/EAN : 978-0-85358-026-3 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Télédétection [Termes IGN] Advanced Very High Resolution Radiometer [Termes IGN] bruit atmosphérique [Termes IGN] correction atmosphérique [Termes IGN] image aérienne [Termes IGN] image Météosat [Termes IGN] propagation ionosphérique [Termes IGN] propagation troposphérique [Termes IGN] radar à antenne synthétique [Termes IGN] rayonnement infrarouge thermique [Termes IGN] réfraction atmosphérique Index. décimale : CG1985 Actes de congrès en 1985 Résumé : (Auteur) The problems deriving from atmospheric distortions of electromagnetic signals cause widespread anxiety in the remote sensing community and their consequences are anticipated but not thoroughly understood. Meanwhile, there are few amongst those who apply remote sensing techniques in their particular branches of science and consulting equipped to research the worrying implications of such distortions. The convening of this workshop focussing on the subject was particularly welcome therefore, as it enabled the small but very important group of concerned specialists in the United Kingdom to come together to discuss their problems and explain how they have approached them. The sessions also allowed time for participants to show how they had derived correction factors which they have found useful and the papers published here reflect the type of work being undertaken in the fields of land, oceanographic and atmospheric applications. By far the most important feature of the meeting, however, was the opportunity which it provided for members of the remote sensing community concerned with applications to have their ideas reviewed by scientists engaged in research and development with a view to the development of new sensors. It is hoped that the points raised in discussion will in due course find their way into the literature. Note de contenu : Foreword J.A. ALLAN Introduction P.M. MATHER Estimation of atmospheric corrections from multiple aircraft imagery M. D. STEVEN and E.M. ROLLIN Atmospheric corrections to the Meteosat thermal infrared data during the wet season over the Sahel G. DUGDALE, J.R. MILFORD and V.D. McDOUGALL Ionospheric and tropospheric effects on Synthetic Aperture Radar performance S. QUEGAN and J. LAMONT Satellite remote sensing of atmospheric optical depth spectrum S. ARANUVACHAPUN Evaluation of atmospheric effects for SPOT stereoscopic modelling using AVHRR data S.H. SINGH Refraction and propagation delays A.H. DODSON Removal of atmospheric effects in thermal infrared wavebands R.D. CALLISON Atmospheric correction using a ground-based spectroradiometer H.T.C. VAN STOKKOM and L.M.M. VEUGEN Numéro de notice : 16659 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Actes Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=34819

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16659-01	CG.85	Livre	Centre de documentation	En réserve M-103	Disponible

Cartographic drawing with computer / P. Yoeli (1982)

Public Titre : Cartographic drawing with computer Type de document : Monographie Auteurs : P. Yoeli, Auteur Editeur : Nottingham : University of Nottingham Année de publication : 1982 Collection : Computer applications, ISSN 0308-4221 num. 8 Importance : 137 p. Format : 15 x 21 cm Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Cartographie numérique [Termes IGN] cartographie automatique [Termes IGN] dessin assisté par ordinateur [Termes IGN] Fortran [Termes IGN] logiciel de dessin Numéro de notice : 54675 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=59686

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
54675-01	39.20	Livre	Centre de documentation	En réserve M-103	Disponible
54675-02	39.20	Livre	Centre de documentation	En réserve M-103	Disponible