Skip to main content
SpringerLink
Log in
Book cover

International Conference on Spatial Information Theory

COSIT 1999: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science pp 299–314Cite as

Modes of Connection

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1661))

Abstract

In recent years there has been a proliferation of theories for representing space and time in a qualitative way based on a primitive notion of topological connection. In previous work [14], we have commenced the construction of a unified framework. Independently of any foundational or applicative concerns, we attempt to delineate the space of mereotopological theories based on an account of their intended models and to place some existing theories into this framework. This paper extends this work by considering a second, orthogonal dimension along which varieties of topological connection can be classified: the strenght of the connection.

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. Asher, N and Vieu, L. Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In Proc. IJCAI-95, page 846–852, san Mateo (CA), 1995. Morgan Kaufman.

    Google Scholar 

  2. Bennett, B. Carving up space: Steps towards the construction of an absolutely complete theory of spatial regions. In Proc. JELIA-96, volume 1126 of LNCS, page 337–353, 1996.

    Google Scholar 

  3. Borgo S, Guarino N, and Masolo C, A pointless theory of space based on strong congruence and connection. In Proc. KR-96, page 220–229, San Mateo (CA), 1996. Morgan Kaufman.

    Google Scholar 

  4. Casati R and Varsi A. holes and other superficialities. MIT Press, Cambridge (MA). Morgan Kaufman.

    Google Scholar 

  5. Casati R and Varsi A.C. Parts and places. The Structure Of Spatial Representation. MIT Press, Cambridge (MA), 1999.

    Google Scholar 

  6. Chisholm R.M. Spatial continuinity and the theory of part and whole. a brentano study. Brentano Studien, 4:11–23, 1992.

    Google Scholar 

  7. Clarke B.L. A calculus of individuals based on’ connection’ Notre Dame J. of Formal logic, 23:204–208, 1981.

    Article  Google Scholar 

  8. Clarke B.L. Individuals and points. Notre Dame J. of Formal logic, 26:61–75, 1985.

    Article  MATH  Google Scholar 

  9. Clementini E and Di Felice P. Topological anvariants for lines. IEEE transactions on Knowledge and Data Engineering, 10;38–54, 1998.

    Article  Google Scholar 

  10. Clementini E and Di Felice P, and Oosterom P. A small set of formal topological relationships suitable for end user interaction. In Proc. SSD-94, volume 692 of LNCS, page 277–295, Berlin, 1994. Springer Verlag.

    Google Scholar 

  11. Cohn A G. Qualitative spatial representation and reasoning techniques. In Proc. KI-97, volume 1303 of LNAI, pages 1–30, Berlin, 1997. Springer Verlag.

    Google Scholar 

  12. Cohn A G. Bennett B, Gooday J, and Gotts N. RCC: A calculus for region based qualitative spatial reasoning. GeoInformation, 1:275–316, 1997.

    Article  Google Scholar 

  13. Cohn A G. Randell D A, and Cui Z. Taxonomies of logically defined qualitative spatial relations. Int. J. of Human-Computer Studies, 43:831–846, 1995.

    Article  Google Scholar 

  14. Cohn A G. and Varzi A C. Connection relations in mereotopology. In Proc. ECLAI-98, page 150–154, Chichester, 1998. Wiley and Sons.

    Google Scholar 

  15. Egenhofer M J and Franzosa R. Point-set topological spatial rewlations. Int. J. Geographical Information Systems, 5:161–174, 1991.

    Article  Google Scholar 

  16. Egenhofer M J and Franzosa R.D. On the equivalence of the topological relations. In Int. J. Geographical Information Systems, 9:133–152, 1995.

    Article  Google Scholar 

  17. Egenhofer M and Herring J. Categorizing topological spatial relationships between point, line and area objects. In The 9-intersection formalism and its use for natural language spatial predicates, Technical Report 94-1, santa Barbara, 1994. National Center for Geographic Information and Analysis.

    Google Scholar 

  18. Frank A U.Spatial ontology: A georaphical information view. In Stock O., editor, Spatial and Temporal Reasoning, page 135–151, Dordrecht/Boston/LOndon, 1997. Kluwer.

    Google Scholar 

  19. Freksa C. Temporal reasoning based on semi-intervals. Artificial Intelligence,:199–227, 1992.

    Article  MathSciNet  Google Scholar 

  20. Galton A P. Taking dimension seriously in qualitative spatial reasoning. In Proc.ECAI-96, page 501–505, Chichester, 1996. Wiley and Sons.

    Google Scholar 

  21. Galton A P. Modes of overlap J. of Visual Languages and Computing, 9:61–79, 1998.

    Article  Google Scholar 

  22. Gotts N M. Defining a’ doughnut’ made difficult. In C Eschenbach, C Habel, and B Smith, editors, Topological Foundations of Cognitive Science, volume 37 of Reports of the doctoral programme in Cognitive Science, page 105–129. University of Hamburg, 1994.

    Google Scholar 

  23. Gotts N M. Formalizing commonsense topology: The INCH calculus. In Proc. 4th Int. Syposium on AI and Mathematics, Fort Lauderdale (FL), 1996.

    Google Scholar 

  24. Gotts N M, Gooday J M, and Cohn A G. A connection based approach to commonsense topological description and reasoning. The Monist, 79:51–75, 1996.

    Google Scholar 

  25. Guarino N (ed.). Proc. FOIS. IOS, Amsterdam, 1998.

    Google Scholar 

  26. Randell D A and Cohn A G. Modelling topological and metrical properties of physical processe. In Proc. KR-, page 55–66, Los Altos (CA), 1989. Morgan Kaufmann.

    Google Scholar 

  27. Randell D A, Cui Z, and Cohn A G. A spatial logic based on regions connections. In Proc. KR-, page 165–176, San Mateo (CA), 1992, Morgan Kaufmann.

    Google Scholar 

  28. Simons P. Parst: A Study In Ontology, Clarendon Press, Oxford, 1987.

    Google Scholar 

  29. Smith B. Metreology: A theory of parts and boundaries. Data and Knowledge Engineering, 20:287–304, 1996.

    Article  MATH  Google Scholar 

  30. Smith B. and Varzi A C. Fiat and bona fide boundaries: Towards an ontology of spatially extended objects. In Proc. COSIT-97, volume 1329 of LNCS, page 103–119, Berlin, 1997, Springer Verlag.

    Google Scholar 

  31. Smith B. and Varzi A C. The niche. Nous, 33:198–222, 1999.

    Article  MathSciNet  Google Scholar 

  32. Varzi A C. Parts, wholes, and part-whole relations: The process of merotopology. Data and Knowledge Engineering, 20:259–286, 1996.

    Article  MATH  Google Scholar 

  33. Varzi A C. Reasoning about space: The whole story. Logic and Logical Philosophy, 4:3–39, 1996.

    MATH  MathSciNet  Google Scholar 

  34. Varzi A C. Boundaries, continuinity, and contact. Nous, 31:26–58, 1997.

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Studies, University of Leeds, Leeds, LS2 9JT, UK

    A. G. Cohn

  2. Department of Philosophy, Columbia University, New York, NY, 10027, USA

    A. C. Varzi

Authors
  1. A. G. Cohn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. C. Varzi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Straße 30, D-22527, Hamburg, Germany

    Christian Freksa

  2. Department of Geography, State University of New York at Buffalo, Buffalo, NY, 14261, USA

    David M. Mark

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cohn, A.G., Varzi, A.C. (1999). Modes of Connection. In: Freksa, C., Mark, D.M. (eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. COSIT 1999. Lecture Notes in Computer Science, vol 1661. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48384-5_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-48384-5_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66365-2

  • Online ISBN: 978-3-540-48384-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation