Representing and Reasoning About Changing Spatial Extensions of Geographic Features
Total Page:16
File Type:pdf, Size:1020Kb
Representing and Reasoning about Changing Spatial Extensions of Geographic Features by Claudio Elizio Calazans Campelo Submitted in accordance with the requirements for the degree of Doctor of Philosophy The University of Leeds School of Computing July 2013 The candidate confirms that the work submitted is his/her own, except where work which has formed part of jointly authored publications has been included. The contri- bution of the candidate and the other authors to this work has been explicitly indicated below. The candidate confirms that appropriate credit has been given within the thesis where reference has been made to the work of others. Some parts of the work presented in this thesis have been published in the following articles. In each case, details are given on the contributions by the other authors and me, as well as details about the chapters which these articles were used within are mentioned. Campelo, C. E. C., Bennett, B. “Representing and Reasoning about Changing Spatial Exten- sions of Geographic Features.”, Proceedings of the Conference on Spatial Information Theory (COSIT 2013), edited by T. Tenbrink, J. Stell and Z. Wood, LNCS 8116, pp. 3352, Springer International Publishing, 2013. My contributions: Principal author, wrote all sections. Implemented the system proto- type. Other author contributions: Overall wording of the paper; discussion on the develop- ment of the formalism. Chapters based upon work: Chapter 4 refers to the logical framework for representing events and processes. Chapter 5 presents the system prototype. Campelo, C. E. C., Bennett, B. “Towards a Comprehensive Framework for Representing and Reasoning about Geographic Phenomena.”, Proceedings of International Workshop: Spatio-temporal Theories and Research for Environmental, Urban and Social Sciences: Where Do We Stand?, held in conjunction with the Conference on Spatial Information Theory (COSIT 2013). My contributions: Principal author, wrote all sections. Other author contributions: Overall wording of the paper. Chapters based upon work: Chapter 4 refers to the logical framework for representing geographic phenomena. Chapter 5 presents the system prototype. Campelo, C. E. C., Bennett, B. “Knowledge Representation of Geographic Phenomena.”, Mehdi Khosrow-Pour (Editor), Encyclopedia of Information Science and Technology, Third Edition, IGI Global Publishing. In Press. My contributions: Principal author, wrote all sections. Other author contributions: Overall checking of the paper. Chapters based upon work: Chapter 2 contains part of the discussion given in this book chapter for background. 2 Campelo, C. E. C., Bennett, B. and Dimitrova V., “From Polygons and Timestamps to Dy- namic Geographic Features: Grounding a Spatio-temporal Geo-ontology.”, Proceedings of the 6th International Workshop on Semantic and Conceptual Issues in GIS (SeCoGIS 2012), held in conjunction with the 31st International Conference on Conceptual Model- ing (ER 2012). S. Castano et al.(Eds.): ER Workshops 2012, Lecture Notes in Computer Science, 7518, pp. 251–260, Springer, Florence, Italy, 2012. My contributions: Principal author, wrote all sections. Other author contributions: Overall wording of the paper. Chapters based upon work: Chapter 3 describes in more detail the approach to repre- senting spatio-temporal data and to modelling geographic features. Campelo, C. E. C., Bennett, B. and Dimitrova V., “Identifying Geographic Events and Pro- cesses in Spatio-temporal Data.” Proceedings of the 6th Starting Artificial Intelligence Research Symposium (STAIRS), held in conjunction with the 20th European Conference on Artificial Intelligence (ECAI). Montpellier, France, 2012. My contributions: Principal author, wrote all sections. Implemented the system propo- type. Other author contributions: Overall wording of the paper; Discussion on the develop- ment of the representational approach. Chapters based upon work: Chapter 4 refers to the approach to representing spatial changes, events and processes. Chapter 5 presents the system prototype. Campelo, C. E. C. and Bennett, B., “Geographical Processes Representation: Issues and Challenges.”, Towards Universal Ontology of Geographic Space, IGI Global Publishing, Tomaz Podobnikar (Editor), 2012. My contributions: Principal author, wrote all sections. Other author contributions: Overall checking of the paper. Chapters based upon work: Chapter 2 contains part of the discussion given in this book chapter for background. Campelo, C. E. C. and Bennett, B., “Applying Standpoint Semantics to Determine Geographi- cal Processes Instances”, Proceedings of the Workshop on Identifying Objects, Processes, and Events in Spatio-Temporally Distributed Data (IOPE), held at The Conference on Spatial Information Theory (COSIT’11), Belfast, Maine, USA, 2011. My contributions: Principal author, wrote all sections. Other author contributions: Overall wording of the paper; discussion on the develop- ment of the approach to handling vagueness; Checking of definitions. Chapters based upon work: The approach presented in this paper to hangling temporal 3 vagueness is a preliminary version of the approach presented in chapter 4. Campelo, C. E. C., Bennett, B. and Dimitrova V., “Identifying Geographical Processes from Time-stamped Data.”, GeoSpatial Semantics: Proceedings of the 4th International Con- ference (GeoS 2011), edited by C. Claramunt, S. Levashkin and M. Bertolotto, Lecture Notes in Computer Science, 6631 , pp 70-87, Springer, Brest, France, 2011. My contributions: Principal author, wrote most sections. Other author contributions: Overall wording of the paper; discussion on the devel- opment of the approach to representing spatio-temporal data; Checking of definitions; Section 5.2 (with some input from myself). Chapters based upon work: This paper presents a preliminary version of the approach presented in chapter 3 to representing spatio-temporal data. This copy has been supplied on the understanding that it is copyright material and that no quotation from the thesis may be published without proper acknowledgement. c 2013 The University of Leeds and Claudio Elizio Calazans Campelo. The right of Claudio Elizio Calazans Campelo to be identified as Author of this work has been asserted by him in accordance with the Copyright, Designs and Patents Act 1988. 4 Abstract This thesis presents a novel approach to representing and reasoning about geographic phenomena which can be interpreted based on changes affecting spatial extensions of geographic features. Of particular interest in this work are geographic features whose extensions can be described as 2-dimensional regions corresponding to portions of the earth surface under a specified projection, such as deserts, forests and oceans. The work resulted in the development of a logical framework for representing ge- ographic events and processes. In developing such a framework, issues have been ad- dressed regarding the relationship between these concepts and also between them and geographic features. Other crucial issues are how to define the relation between event and process types and their particular instances, and how to handle different kinds of vagueness to associate specific spatial and temporal boundaries with those instances. Of particular interest in this work is the development of a method of explicitly linking the formalism to spatio-temporal data. This requires work at multiple levels, both in consideration of how the data can be represented and in regards of how primitive elements of the logical framework can be defined. Although data can be regarded as a faithful reproduction of physical elements of the world, some conceptual elements are not always explicitly represented within data. For that reason, a logic-based approach to representing spatio-temporal geographic data was also developed and is presented in this thesis. Representing the data in a logical fashion allows implicit data to be derived by means of logical inferences, and provides a natu- ral way of explicitly connecting the data to a semantic-based formalism. Derived data may include spatial extensions of geographic features at different times, based on exist- ing data describing, for example, portions of the earth’s surface associated with different observable properties. Furthermore, a system has been implemented to evaluate the applicability of the pro- posed theory. The system takes time-stamped topographic data as an input and allows logical queries to be formulated about the data, returning textual and graphical informa- tion on geographic events, processes, and features which participate in them. i Acknowledgements I would like to thank my supervisors, Dr. Brandon Bennett and Dr. Vania Dimitrova, for all their support and guidance throughout the course of this PhD. I would like to thank CAPES for providing financial funding for this PhD. I would like to thank my viva examiners, Dr. Antony Galton and Dr. Anthony Cohn, for all their valuable comments on my work. I would like to thank my transfer examiner, Dr. John Stell, for his important feedback on my work. I would like to thank the members of the KRR group for all their comments on my work. I would like to thank other students and staffs of the School of Computing who gave any kind of feedback on my work. I would like to thank the anonymous reviewers of the papers I have submitted for publication, for their comments and suggestions. I would like to thank the School’s administrative staffs for all the assistance provided. Special thanks go to Judi, George, Charlotte,