Skip to main content
SpringerLink
Log in
Book cover

International Conference on Spatial Information Theory

COSIT 2013: Spatial Information Theory pp 475–494Cite as

The Logic of NEAR and FAR

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8116))

Abstract

We propose a new qualitative spatial logic based on metric (distance) relations between spatial objects. We provide a sound and complete axiomatisation of the logic with respect to metric models. The logic is intended for use in checking consistency of matching geospatial individuals from different data sets, where some data sets may be imprecise (e.g. crowd-sourced data).

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Du, H., Alechina, N., Jackson, M., Hart, G.: Matching geospatial ontologies. In: Proceedings of the ISWC Workshop Ontology Matching, OM 2012 (2012)

    Google Scholar 

  2. Du, H., Alechina, N., Jackson, M., Hart, G.: Matching formal and informal geospatial ontologies. In: Geographic Information Science at the Heart of Europe. Lecture Notes in Geoinformation and Cartography. Springer (2013)

    Google Scholar 

  3. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A Practical OWL-DL Reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 5, 51–53 (2007)

    Article  Google Scholar 

  4. Hart, G., Dolbear, C., Kovacs, K., Guy, A.: Ordnance Survey Ontologies (2008), http://www.ordnancesurvey.co.uk/oswebsite/ontology

  5. OpenStreetMap: The Free Wiki World Map (2012), http://www.openstreetmap.org

  6. Jackson, M.J., Rahemtulla, H., Morley, J.: The Synergistic Use of Authenticated and Crowd-Sourced Data for Emergency Response. In: International Workshop on Validation of Geo-Information Products for Crisis Management (2010)

    Google Scholar 

  7. Stock, K., Cialone, C.: An approach to the management of multiple aligned multilingual ontologies for a geospatial earth observation system. In: Claramunt, C., Levashkin, S., Bertolotto, M. (eds.) GeoS 2011. LNCS, vol. 6631, pp. 52–69. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Rodríguez, M.A., Egenhofer, M.J.: Determining semantic similarity among entity classes from different ontologies. IEEE Transactions on Knowledge and Data Engineering 15(2), 442–456 (2003)

    Article  Google Scholar 

  9. Cruz, I.F., Sunna, W.: Structural Alignment Methods with Applications to Geospatial Ontologies. Transactions in GIS 12(6), 683–711 (2008)

    Article  Google Scholar 

  10. Euzenat, J., Shvaiko, P.: Ontology Matching. Springer (2007)

    Google Scholar 

  11. Calì, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: A Framework for Representing Ontology Mappings under Probabilities and Inconsistency. In: The Third ISWC Workshop on Uncertainty Reasoning for the Semantic Web (2007)

    Google Scholar 

  12. Fonseca, R.L., Llano, E.G.: Automatic representation of geographical data from a semantic point of view through a new ontology and classification techniques. Transactions in GIS 15(1), 61–85 (2011)

    Article  Google Scholar 

  13. Klien, E., Lutz, M.: The role of spatial relations in automating the semantic annotation of geodata. In: Cohn, A.G., Mark, D.M. (eds.) COSIT 2005. LNCS, vol. 3693, pp. 133–148. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Clementini, E., Di Felice, P.: Approximate topological relations. International Journal of Approximate Reasoning 16(2), 173–204 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  15. Egenhofer, M.J., Herring, J.: Categorizing binary topological relations between regions, lines, and points in geographic databases. Technical report, Department of Surveying Engineering, University of Maine (1991)

    Google Scholar 

  16. Zhan, F.B.: Approximate analysis of binary topological relations between geographic regions with indeterminate boundaries. Soft Computing 2(2), 28–34 (1998)

    Article  Google Scholar 

  17. Schneider, M.: A design of topological predicates for complex crisp and fuzzy regions. In: Kunii, H.S., Jajodia, S., Sølvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 103–116. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  18. Tang, X., Kainz, W.: Analysis of topological relations between fuzzy regions in a general fuzzy topological space. In: Proceedings of the Symposium on Geospatial Theory, Processing and Applications (2002)

    Google Scholar 

  19. Liu, K., Shi, W.: Computing the fuzzy topological relations of spatial objects based on induced fuzzy topology. International Journal of Geographical Information Science 20(8), 857–883 (2006)

    Article  Google Scholar 

  20. Du, S., Qin, Q., Wang, Q., LI, B.: Fuzzy description of topological relations I: A unified fuzzy 9-intersection model. In: Wang, L., Chen, K., S. Ong, Y. (eds.) ICNC 2005. LNCS, vol. 3612, pp. 1261–1273. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  21. Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Qualitative spatial representation and reasoning with the region connection calculus. GeoInformatica 1(3), 275–316 (1997)

    Article  Google Scholar 

  22. Guesgen, H.W., Albrecht, J.: Imprecise reasoning in geographic information systems. Fuzzy Sets and Systems 113(1), 121–131 (2000)

    Article  MATH  Google Scholar 

  23. Li, Y., Li, S.: A fuzzy sets theoretic approach to approximate spatial reasoning. IEEE Transactions on Fuzzy Systems 12(6), 745–754 (2004)

    Article  Google Scholar 

  24. Schockaert, S., Cock, M.D., Cornelis, C., Kerre, E.E.: Fuzzy region connection calculus: Representing vague topological information. International Journal of Approximate Reasoning 48(1), 314–331 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  25. Winter, S.: Uncertain topological relations between imprecise regions. International Journal of Geographical Information Science 14(5), 411–430 (2000)

    Article  Google Scholar 

  26. Montello, D., Goodchild, M., Gottsegen, J., Fohl, P.: Where’s downtown?: Behavioral methods for determining referents of vague spatial queries. Spatial Cognition and Computation 3, 185–204 (2003)

    Google Scholar 

  27. Pawlak, Z., Polkowski, L., Skowron, A.: Rough Set Theory. In: Wiley Encyclopedia of Computer Science and Engineering (2008)

    Google Scholar 

  28. Cohn, A.G., Gotts, N.M.: The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries. In: GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, pp. 171–187 (1996)

    Google Scholar 

  29. Roy, A.J., Stell, J.G.: Spatial Relations between Indeterminate Regions. International Journal of Approximate Reasoning 27(3), 205–234 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  30. Blakemore, M.: Generalization and error in spatial databases. Cartographica 21, 131–139 (1984)

    Article  Google Scholar 

  31. Bennett, B.: What is a forest? on the vagueness of certain geographic concepts. Topoi 20(2), 189–201 (2001)

    Article  Google Scholar 

  32. Zimmermann, K., Freksa, C.: Qualitative spatial reasoning using orientation, distance, and path knowledge. Applied Intelligence 6(1), 49–58 (1996)

    Article  Google Scholar 

  33. Dutta, S.: Qualitative spatial reasoning: A semi-quantitative approach using fuzzy logic. In: Buchmann, A.P., Smith, T.R., Wang, Y.-F., Günther, O. (eds.) SSD 1989. LNCS, vol. 409, pp. 345–364. Springer, Heidelberg (1990)

    Chapter  Google Scholar 

  34. Frank, A.U.: Qualitative spatial reasoning about distances and directions in geographic space. Journal of Visual Languages and Computing 3(4), 343–371 (1992)

    Article  Google Scholar 

  35. Gerevini, A., Renz, J.: Combining Topological and Size information for Spatial Reasoning. Artificial Intelligence 137(1-2), 1–42 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  36. Shariff, A.R., Egenhofer, M., Mark, D.: Natural-Language Spatial Relations Between Linear and Areal Objects: The Topology and Metric of English-Language Terms. International Journal of Geographical Information Science 12(3) (1998)

    Google Scholar 

  37. Gahegan, M.: Proximity operators for qualitative spatial reasoning. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 31–44. Springer, Heidelberg (1995)

    Google Scholar 

  38. Hernández, D., Clementini, E., Felice, P.D.: Qualitative distances. In: Kuhn, W., Frank, A.U. (eds.) COSIT 1995. LNCS, vol. 988, pp. 45–57. Springer, Heidelberg (1995)

    Google Scholar 

  39. Dolbear, C., Hart, G., Goodwin, J.: From theory to query: Using ontologies to make explicit imprecise spatial relationships for database querying. Poster presented at Conference on Spatial Information Theory, COSIT (2007)

    Google Scholar 

  40. Fisher, P., Orf, T.: An investigation of the meaning of near and close on a university campus. Computers, Environment and Urban Systems 15, 23–35 (1991)

    Article  Google Scholar 

  41. Robinson, V.B.: Individual and multipersonal fuzzy spatial relations acquired using human-machine interaction. Fuzzy Sets and Systems 113(1), 133–145 (2000)

    Article  MATH  Google Scholar 

  42. Schockaert, S., Cock, M.D., Cornelis, C., Kerre, E.E.: Fuzzy region connection calculus: An interpretation based on closeness. International Journal of Approximate Reasoning 48(1), 332–347 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  43. Worboys, M.F.: Nearness relations in environmental space. International Journal of Geographical Information Science 15(7), 633–651 (2001)

    Article  Google Scholar 

  44. Poston, T.: Fuzzy geometry. PhD thesis, University of Warwick (1971)

    Google Scholar 

  45. Wolter, F., Zakharyaschev, M.: Reasoning about distances. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 1275–1282. Morgan Kaufmann (2003)

    Google Scholar 

  46. Aiello, M., Pratt-Hartmann, I.E., van Benthem, J.F.: Handbook of Spatial Logics. Springer-Verlag New York, Inc., Secaucus (2007)

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Nottingham, UK

    Heshan Du, Natasha Alechina, Kristin Stock & Michael Jackson

Authors
  1. Heshan Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Natasha Alechina
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kristin Stock
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Michael Jackson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Linguistics & English Language, Bangor University, College Road, LL57 2DG, Bangor, UK

    Thora Tenbrink

  2. School of Computing, University of Leeds, Woodhouse Lane, LS2 9JT, Leeds, UK

    John Stell

  3. College of Engineering, Mathematics and Physical Sciences, University of Exeter, Harrison Building, North Park Road, EX4 4QF, Exeter, UK

    Antony Galton  & Zena Wood  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer International Publishing Switzerland

About this paper

Cite this paper

Du, H., Alechina, N., Stock, K., Jackson, M. (2013). The Logic of NEAR and FAR. 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_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-01790-7_26

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-01789-1

  • Online ISBN: 978-3-319-01790-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation