Skip to main content
SpringerLink
Log in

Applying Spatial Reasoning to Topographical Data with a Grounded Geographical Ontology

  • Conference paper
GeoSpatial Semantics (GeoS 2007)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 4853))

Included in the following conference series:

Abstract

Grounding an ontology upon geographical data has been proposed as a method of handling the vagueness in the domain more effectively. In order to do this, we require methods of reasoning about the spatial relations between the regions within the data. This stage can be computationally expensive, as we require information on the location of points in relation to each other. This paper illustrates how using knowledge about regions allows us to reduce the computation required in an efficient and easy to understand manner. Further, we show how this system can be implemented in co-ordination with segmented data to reason about features within the data.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Fonseca, F., Egenhofer, M., Agouris, C., Cmara, C.: Using Ontologies for Integrated Geographic Information Systems. Transactions in Geographic Information Systems 6(3), 231–257 (2002)

    Google Scholar 

  2. Guarino, N., Welty, C.: Evaluating Ontological Decisions with Ontoclean. Communications Of The Acm 45(2), 61–65 (2002)

    Article  Google Scholar 

  3. Varzi, A.C.: Vagueness in Geography. Philosophy & Geography 4(1), 49–65 (2001)

    Article  Google Scholar 

  4. Smith, B., Mark, D.M.: Ontology and Geographic Kinds. In: Poiker, T., Chrisman, N. (eds.) Proceedings of the Tenth International Symposium on Spatial Data Handling, Burnaby, BC, pp. 308–320. Simon Fraser University (1998)

    Google Scholar 

  5. Jakulin, A., Mladenić, D.: Ontology Grounding. In: Proceedings of the 8th International multi-conference Information Society IS-2005, Ljubljana, Slovenia, pp. 170–173 (2005)

    Google Scholar 

  6. Mallenby, D.: Grounding a Geographic Ontology on Geographic Data. In: Amir, E., Lifschitz, V., Miller, R. (eds.) 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2007), Stanford, USA, pp. 101–105 (2007)

    Google Scholar 

  7. Randell, D.A., Cui, Z., Cohn, A.G.: A Spatial Logic-Based on Regions and Connection. In: Principles Of Knowledge Representation And Reasoning: Proceedings Of The Third International Conference (Kr 92), pp. 165–176. Morgan Kaufmann Pub Inc., San Mateo (1992)

    Google Scholar 

  8. Harnad, S.: The Symbol Grounding Problem. Physica D 42(1-3), 335–346 (1990)

    Article  Google Scholar 

  9. Taddeo, M., Floridi, L.: Solving the Symbol Grounding Problem: a Critical Review of Fifteen Years of Research. Journal Of Experimental & Theoretical Artificial Intelligence 17(4), 419–445 (2005)

    Article  Google Scholar 

  10. Bennett, B., Isli, A., Cohn, A.G.: A System Handling RCC-8 Queries on 2D Regions Representable in the Closure Algebra Half -Planes. In: Moonis, A., Mira, J.M., de Pobil, A.P. (eds.) Methodology and Tools in Knowledge-Based Systems. LNCS, vol. 1415, pp. 281–290. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  11. Giritli, M.: Who Can Connect in RCC? In: Günter, A., Kruse, R., Neumann, B. (eds.) KI 2003. LNCS (LNAI), vol. 2821, pp. 565–579. Springer, Heidelberg (2003)

    Google Scholar 

  12. Bennett, B.: The Application of Qualitative Spatial Reasoning to GIS. In: Abrahart, R. (ed.) Proceedings of the First International Conference on GeoComputation, vol. I, pp. 44–47 (1996)

    Google Scholar 

  13. Egenhofer, M.J.: Reasoning about Binary Topological Relations. In: Günther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol. 525, pp. 144–160. Springer, Heidelberg (1991)

    Google Scholar 

  14. Egenhofer, M.J., Franzosa, R.D.: Point-Set Topological Spatial Relations. International Journal Of Geographical Information Systems 5(2), 161–174 (1991)

    Article  Google Scholar 

  15. Bennett, B.: What is a Forest? on the Vagueness of Certain Geographic Concepts. Topoi-An International Review Of Philosophy 20(2), 189–201 (2001)

    Google Scholar 

  16. Simpson, J., Weiner, E. (eds.): Concise Oxford English Dictionary, 11th edn. Oxford University Press, Oxford (2004)

    Google Scholar 

  17. Varzi, A.C.: Vagueness, Logic, and Ontology. The Dialogue. Yearbooks for Philosophical Hermeneutics 1, 135–154 (2001)

    Google Scholar 

  18. Taylor, M.P., Stokes, R.: When is a River not a River? Consideration of the Legal Definition of a River for Geomorphologists Practising in New South Wales, Australia. Australian Geographer 36(2), 183–200 (2005)

    Article  Google Scholar 

  19. Dubois, D., Esteva, F., Godo, L., Prade, H.: An information-Based Discussion of Vagueness. In: 10th IEEE International Conference On Fuzzy Systems, Vols 1-3 - Meeting The Grand Challenge: Machines That Serve People, pp. 781–784. IEEE PRESS, New York (2001)

    Google Scholar 

  20. Held, M.: Voroni: An Engineering Approach to the Reliable and Efficient Computation of Voronoi Diagrams of Points and Line Segments. Computational Geometry-Theory And Applications 18(2), 95–123 (2001)

    MATH  MathSciNet  Google Scholar 

  21. Blum, H.: Biological Shape and Visual Science. Journal Of Theoretical Biology 38(2), 205–287 (1973)

    Article  MathSciNet  Google Scholar 

  22. Ge, Y.R., Fitzpatrick, J.M.: Extraction of Maximal Inscribed Disks from Discrete Euclidean Distance Maps. In: 1996 Ieee Computer Society Conference On Computer Vision And Pattern Recognition, Proceedings. Proceedings / Cvpr, Ieee Computer Society Conference On Computer Vision And Pattern Recognition, pp. 556–561. IEEE PRESS, New York (1996)

    Google Scholar 

  23. Bai, X., Latecki, L.J., Liu, W.Y.: Skeleton Pruning by Contour Partitioning. In: Kuba, A., Nyúl, L.G., Palágyi, K. (eds.) DGCI 2006. LNCS, vol. 4245, pp. 567–579. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  24. Bai, X., Latecki, L.J., Liu, W.Y.: Skeleton Pruning by Contour Partitioning with Discrete Curve Evolution. IEEE Transactions On Pattern Analysis And Machine Intelligence 29(3), 449–462 (2007)

    Article  Google Scholar 

  25. Baumgart, B.G.: Winged Edge Polyhedron Representation. Technical report, Stanford University, 891970 (1972)

    Google Scholar 

  26. Mantyla, M.: Introduction to Solid Modeling, vol. 60949. W. H. Freeman & Co, New York (1988)

    Google Scholar 

  27. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications Of The Acm 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  28. Haarslev, V., Lutz, C., Möller, R.: Foundations of Spatioterminological Teasoning with Description Logics. Principles of Knowledge Representation and Reasoning, 112–123 (1998)

    Google Scholar 

  29. Bentley, J.L., Ottmann, T.A.: Algorithms for Reporting and Counting Geometric Intersections. Ieee Transactions On Computers 28(9), 643–647 (1979)

    Article  MATH  Google Scholar 

  30. Laera, L., Tamma, V., Bench-Capon, T., Semeraro, G.: Sweetprolog: A system to Integrate Ontologies and Rules. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 188–193. Springer, Heidelberg (2004)

    Google Scholar 

  31. Wielemaker, J.: An optimised Semantic Web Query Language Implementation in Prolog. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol. 3668, pp. 128–142. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  32. Grütter, R., Bauer-Messmer, B.: Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture. In: Fabrikant, S., Wachowicz, M. (eds.) The European Information Society: Leading the Way With Geo-information. Lecture Notes in Geoinformation and Cartography, vol. XVII, p. 486 (2007)

    Google Scholar 

  33. Abdelmoty, A., Williams, M., Paton, N.: Deduction and Deductive Database for Geographic Data Handling. In: Symposium on Large Spatial Databases, pp. 443–464 (1993)

    Google Scholar 

  34. Jaffar, J., Maher, M.J.: Constraint Logic Programming: A Survey. Journal of Logic Programming 19/20, 503–581 (1994)

    Article  MathSciNet  Google Scholar 

  35. Almendros-Jimenez, J.: Constraint Logic Programming Over Sets of Spatial Objects. In: Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming, Tallinn, Estonia, pp. 32–42. ACM Press, New York (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, University of Leeds, Leeds, LS2 9JT, UK

    David Mallenby & Brandon Bennett

Authors
  1. David Mallenby
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brandon Bennett
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Frederico Fonseca M. Andrea Rodríguez Sergei Levashkin

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mallenby, D., Bennett, B. (2007). Applying Spatial Reasoning to Topographical Data with a Grounded Geographical Ontology. In: Fonseca, F., Rodríguez, M.A., Levashkin, S. (eds) GeoSpatial Semantics. GeoS 2007. Lecture Notes in Computer Science, vol 4853. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76876-0_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-76876-0_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-76875-3

  • Online ISBN: 978-3-540-76876-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation