PDF/A Format
Total Page:16
File Type:pdf, Size:1020Kb
A Knowledge-based Approach for Creating Detailed Landscape Representations by Fusing GIS Data Collections with Associated Uncertainty Pedro Maroun Eid A Thesis in The Department of Computer Science & Software Engineering Presented in Partial Fulfillment of the Requirements For the Degree of Doctor of Philosophy Concordia University Montréal, Québec, Canada January 2014 ©Pedro Maroun Eid, 2014 CONCORDIA UNIVERSITY SCHOOL OF GRADUATE STUDIES This is to certify that the thesis prepared By: Pedro Maroun Eid Entitled: A Knowledge-based Approach for Creating Detailed Landscape Representations by Fusing GIS Data Collections with Associated Uncertainty and submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Computer Science) complies with the regulations of the University and meets the accepted standards with respect to originality and quality. Signed by the final examining committee: Chair Dr. M. Mehmet Ali External Examiner Dr. V. Bhavsar External to Program Dr. R. Ganesan Examiner Dr. V. Haarslev Examiner Dr. T. Fevens Thesis Supervisor Dr. S. Mudur Approved by: Dr. V. Haarslev , Graduate Program Director June 11, 2014 Dr. C. Trueman, Interim Dean Faculty of Engineering and Computer Science ABSTRACT A Knowledge-based Approach for Creating Detailed Landscape Representations by Fusing GIS Data Collections with Associated Uncertainty Pedro Maroun Eid, Ph.D. Concordia University, 2014 Geographic Information Systems (GIS) data for a region is of different types and collected from different sources, such as aerial digitized color imagery, elevation data consisting of terrain height at different points in that region, and feature data consisting of geometric information and properties about entities above/below the ground in that region. Merging GIS data and understanding the real world information present explicitly or implicitly in that data is a challenging task. This is often done manually by domain experts because of their superior capability to efficiently recognize patterns, combine, reason, and relate information. When a detailed digital representation of the region is to be created, domain experts are required to make best-guess decisions about each object. For example, a human would create representations of entities by collectively looking at the data layers, noting even elements that are not visible, like a covered overpass or underwater tunnel of a certain width and length. Such detailed representations are needed for use by processes like visualization or 3D modeling in applications used by military, simulation, earth sciences and gaming communities. Many of these applications are increasingly using digitally synthesized visuals and require detailed digital 3D representations to be generated quickly after acquiring the necessary initial data. Our main thesis, and a significant research contribution of this work, is that this task of creating detailed representations can be automated to a very large extent using a methodology which first fuses all Geographic Information System (GIS) data sources available into knowledge base (KB) assertions (instances) representing real world objects using a subprocess called GIS2KB. Then using reasoning, implicit information is inferred to define detailed 3D entity representations using a geometry definition engine called iii KB2Scene. Semantic Web is used as the semantic inferencing system and is extended with a data extraction framework. This framework enables the extraction of implicit property information using data and image analysis techniques. The data extraction framework supports extraction of spatial relationship values and attribution of uncertainties to inferred details. Uncertainty is recorded per property and used under Zadeh fuzzy semantics to compute a resulting uncertainty for inferred assertional axioms. This is achieved by another major contribution of our research, a unique extension of the KB ABox Realization service using KB explanation services. Previous semantics based research in this domain has concentrated more on improving represented details through the addition of artifacts like lights, signage, crosswalks, etc. Previous attempts regarding uncertainty in assertions use a modified reasoner expressivity and calculus. Our work differs in that separating formal knowledge from data processing allows fusion of different heterogeneous data sources which share the same context. Imprecision is modeled through uncertainty on assertions without defining a new expressivity as long as KB explanation services are available for the used expressivity. We also believe that in our use case, this simplifies uncertainty calculations. The uncertainties are then available for user-decision at output. We show that the process of creating 3D visuals from GIS data sources can be more automated, modular, verifiable, and the knowledge base instances available for other applications to use as part of a common knowledge base. We define our method’s components, discuss advantages and limitations, and show sample results for the transportation domain. iv Acknowledgements First and foremost, I sincerely thank my supervisor, Prof. Sudhir P. Mudur, for his patience and support throughout the completion of this thesis. I would not have asked for a more experienced and thorough supervisor. His help and supervision allowed me to learn tremendously throughout the course of my Ph.D. I would also like to thank my supervisory committee, Prof. Thomas Fevens, Prof. Rajamohan Ganesan, Prof. Mustafa Mehmet Ali, and especially Prof. Volker Haarslev and Prof. Virendrakumar Bhavsar for insightful comments and support. I also thank members of Concordia University and the Department of Computer Science for the continuous financial and moral support during the course of this research. This research was supported by GRAND NCE and NSERC as well as Engineering and Computer Science Faculty Research Grants and the Canada Foundation of Innovation which supported equipment acquisition. This work was conducted using the Protégé resource, which is supported by grant GM10331601 from the National Institute of General Medical Sciences of the US National Institutes of Health. We thank OSGeo, the Open Source Geospatial Foundation, and its primary supporter, Ordnance Survey®, for providing open source software to allow the implementation of the prototype used in this research. We also would like to thank Google Inc. for providing software support, as well as Presagis and DVC for their software which allowed a broad investigation of available capabilities and needs. We include ESRI, the OGC, USGS and other organizations for providing information and toolkits on standards used. v O P O P O P To my father, Chawki, with all my thankfulness and appreciation. To my mother, Josette, my brother Georges, and my sister, Honorée Claris. To dearest friends and family… …this would not have been possible without your support. vi Table of Contents List of Figures .................................................................................................................... xi Chapter 1 Introduction ........................................................................................................ 1 1.1 Motivation ............................................................................................................... 5 1.2 Problem Statement .................................................................................................. 6 1.3 Objectives ............................................................................................................... 7 1.4 Methodology and Proposed Solution ...................................................................... 8 1.5 Implementation ..................................................................................................... 10 1.6 Simple Example from our System’s Results ........................................................ 11 1.7 Contributions......................................................................................................... 14 1.7.1 Conceptual Contributions ............................................................................ 14 1.7.2 Practical Contributions................................................................................. 15 1.8 Thesis Layout ........................................................................................................ 16 Chapter 2 Background ...................................................................................................... 18 2.1 Relevant GIS Sources ........................................................................................... 22 2.1.1 ESRI Shapefiles ........................................................................................... 25 2.2 Other Commonly used GIS Standards .................................................................. 27 2.2.1 Legacy Sources ............................................................................................ 28 2.2.2 OpenFlight Standard .................................................................................... 29 vii 2.2.3 Newer Sensor Technologies ........................................................................ 31 2.3 Topological Relations and DE-9IM ...................................................................... 32 2.4 Semantic Web ....................................................................................................... 33 2.4.1 Reasoner Services and Justification