Abstract
This paper presents a logical framework for representing and reasoning about events and processes which are characterised by changes in the spatial extension of geographic features. This work addresses some crucial (and still open) issues on the modelling of geographic dynamics, such as how to represent the relationship between events, processes and geographic features and how to relate event and process types to their particular instances; how to handle spatial and temporal vagueness to associate specific spatio-temporal boundaries with events and process instances; and how to provide a flexible representation which can be applied to distinct geographic phenomena as well as which can accommodate different standpoints on these phenomena. Particular focus is placed on phenomena which can be identified from spatio-temporal data of the geographic domain, and therefore a discussion is given on the way the logical framework can be linked to data. Finally, we present a system prototype implemented to experiment the proposed logical framework with real data.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allen, J.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)
Allen, J.: Towards a general theory of action and time. Artificial Intelligence 23(2), 123–154 (1984)
Bennett, B., Galton, A.: A unifying semantics for time and events. Artificial Intelligence 153(1-2), 13–48 (2004)
Bennett, B.: Modes of concept definition and varieties of vagueness. Applied Ontology 1(1), 17–26 (2005)
Bennett, B.: Spatial vagueness. In: Jeansoulin, R., Papini, O., Prade, H., Schockaert, S. (eds.) Methods for Handling Imperfect Spatial Information. STUDFUZZ, vol. 256, pp. 15–47. Springer, Heidelberg (2010)
Bennett, B.: Standpoint semantics: A framework for formalising the variable meaning of vague terms. In: Cintula, P., Fermuller, C., Godo, L., Hajek, P. (eds.) Understanding Vagueness — Logical, Philosophical and Linguistic Perspectives. College Publications (2011)
Bennett, B., Mallenby, D., Third, A.: Automatic grounding of vague geographic ontology in data. In: Proceedings of the Second International Conference on GeoComputaton (2007)
Bennett, B., Mallenby, D., Third, A.: An ontology for grounding vague geographic terms. In: FOIS 2008, pp. 280–293. IOS Press (2008)
Bittner, T., Smith, B.: Formal ontologies of space and time. IFOMIS, Department of Philosophy. University of Leipzig, University at Buffalo and NCGIA 17, Leipzig, Buffalo (2003)
Campelo, C.E.C., Bennett, B.: Geographical processes representation: Issues and challenges. In: Podobnikar, T., Ceh, M. (eds.) Universal Ontology of Geographic Space: Semantic Enrichment for Spatial Data. IGI Global, USA (2012)
Campelo, C.E.C., Bennett, B., Dimitrova, V.: From polygons and timestamps to dynamic geographic features: Grounding a spatio-temporal geo-ontology. In: Castano, S., Vassiliadis, P., Lakshmanan, L.V.S., Lee, M.L. (eds.) ER 2012 Workshops 2012. LNCS, vol. 7518, pp. 251–260. Springer, Heidelberg (2012)
Claramunt, C., Theriault, M.: Toward semantics for modelling spatio-temporal processes within GIS. Advances in GIs Research I, 27–43 (1996)
Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.: RCC: a calculus for region-based qualitative spatial reasoning. GeoInformatica 1, 275–316 (1997)
Devaraju, A., Kuhn, W.: A Process-Centric ontological approach for integrating Geo-Sensor data. In: FOIS 2010 (2010)
Fine, K.: Vagueness, truth and logic. Synthese 30(3), 265–300 (1975)
Galton, A.: On what goes on: The ontology of processes and events. In: Bennett, B., Fellbaum, C. (eds.) Proceedings of FOIS Conference 2006, vol. 150. IOS Press (2006)
Galton, A.: Experience and history: Processes and their relation to events. Journal of Logic and Computation 18(3), 323–340 (2007)
Galton, A., Mizoguchi, R.: The water falls but the waterfall does not fall: New perspectives on objects, processes and events. Applied Ontology 4(2), 71–107 (2009)
Grenon, P., Smith, B.: SNAP and SPAN: towards dynamic spatial ontology. Spatial Cognition & Computation, 69–104 (2004)
Hornsby, K., Egenhofer, M.J.: Identity-based change: A foundation for spatio-temporal knowledge representation. International Journal of Geographical Information Science 14, 207–224 (2000)
Masolo, C., Gangemi, A., Guarino, N., Oltramari, A., Schneider, L.: Wonderweb EU project deliverable d18: The wonderweb library of foundational ontologies (2003)
Mourelatos, A.: Events, processes, and states. Linguistics and Philosophy 2(3), 415–434 (1978)
Pustejovsky, J.: The syntax of event structure. Cognition 41(1-3), 47–81 (1991)
Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. KR 92, 165–176 (1992)
Raskin, R., Pan, M.: Knowledge representation in the semantic web for earth and environmental terminology (sweet). Computers & Geosciences 31(9), 1119–1125 (2005)
Sowa, J., et al.: Knowledge representation: logical, philosophical, and computational foundations, vol. 511. MIT Press (2000)
Stell, J., Worboys, M.: A theory of change for attributed spatial entities. Geographic Information Science, 308–319 (2008)
Worboys, M., Hornsby, K.: From objects to events: GEM, the geospatial event model. Geographic Information Science, 327–343 (2004)
Zadeh, L.A.: Fuzzy sets. Information and Control 8(3), 338–353 (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Campelo, C.E.C., Bennett, B. (2013). Representing and Reasoning about Changing Spatial Extensions of Geographic Features. In: Tenbrink, T., Stell, J., Galton, A., Wood, Z. (eds) Spatial Information Theory. COSIT 2013. Lecture Notes in Computer Science, vol 8116. Springer, Cham. https://doi.org/10.1007/978-3-319-01790-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-01790-7_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-01789-1
Online ISBN: 978-3-319-01790-7
eBook Packages: Computer ScienceComputer Science (R0)