Skip to main content
SpringerLink
Log in
Book cover

International Conference on Relational and Algebraic Methods in Computer Science

RAMICS 2014: Relational and Algebraic Methods in Computer Science pp 379–394Cite as

Refinements of the RCC25 Composition Table

  • Conference paper

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

Abstract

Boolean Contact Algebras (BCAs) are an appropriate algebraic approach to mereotopological structures. They are Boolean algebras equipped with a binary contact relation C indicating whether two regions are considered to be in contact or not. It has been shown that BCAs with some additional properties are equivalent to the well-known Region Connection Calculus (RCC) of Randell et al. In this paper we show that the contact relation of a BCA gives rise to at least 35 atomic relationships between regions in any model of RCC. In addition, we provide a composition table of the corresponding relation algebra up to 31 atoms. This improves previous results that distinguished only 25 atomic relationships.

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. Allen, J.F.: Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832–843 (1983)

    Article  MATH  Google Scholar 

  2. Allen, J.F., Hayes, P.J.: A common sense theory of time. In: Proceedings 9th IJCAI, Los Angeles, pp. 528–531 (1985)

    Google Scholar 

  3. Andréka, H., Maddux, R.D., Nemeti, I.: Splitting in relation algebras. Proceedings of the AMS 111(4), 1085–1093 (1991)

    Article  MATH  Google Scholar 

  4. Asher, N., Vieu, L.: Toward a geometry of common sense: A semantics and a complete axiomatization of mereotopology. In: Mellish, C. (ed.) Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI 1995), pp. 846–852 (1995)

    Google Scholar 

  5. Birkhoff, G.: Lattice Theory, 3rd edn., vol. XXV. American Mathematical Society Colloquium Publications (1968)

    Google Scholar 

  6. Cohn, A.G.: Qualitative spatial representation and reasoning techniques. In: Brewka, G., Habel, C., Nebel, B. (eds.) KI 1997. LNCS, vol. 1303, pp. 1–30. Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  7. Cohn, A.G., Bennett, B., Gooday, J., Gotts, N.M.: Representing and reasoning with qualitative spatial relations about regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, pp. 97–134. Kluwer, IRST (1997)

    Google Scholar 

  8. Clarke, B.L.: A calculus of individuals based on ‘connection’. Notre Dame J. of Formal Logic 22, 204–218 (1981)

    Article  MATH  Google Scholar 

  9. de Morgan, A.: On the syllogism: IV, and on the logic of relations. Transactions of the Cambridge Philosophical Society 10, 331–358 (1860)

    Google Scholar 

  10. De Laguna, T.: Point, line and surface as sets of solids. Journal of Philosophy 19, 449–461 (1922)

    Article  Google Scholar 

  11. Dimov, G., Vakarelov, D.: Contact algebras and region-based theory of space: A proximity approach - II. Fundamenta Informaticae 74, 251–282 (2006)

    MATH  MathSciNet  Google Scholar 

  12. Düntsch, I.: Relation algebras and their application in temporal and spatial reasoning. Artificial Intelligence Review 23, 315–357 (2005)

    Article  MATH  Google Scholar 

  13. Düntsch, I., Winter, M.: A representation theorem for boolean contact algebras. Theoretical Computer Science 347, 498–512 (2003)

    Article  Google Scholar 

  14. Düntsch, I., Winter, M.: Weak contact structures. In: MacCaull, W., Winter, M., Düntsch, I. (eds.) RelMiCS 2005. LNCS, vol. 3929, pp. 73–82. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  15. Düntsch, I., Winter, M.: The lattice of contact relations on a boolean algebra. In: Berghammer, R., Möller, B., Struth, G. (eds.) RelMiCS/AKA 2008. LNCS, vol. 4988, pp. 99–109. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Düntsch, I., Schmidt, G., Winter, M.: A necessary relation algebra for mereotopology. Studia Logica 69, 381–409 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  17. Düntsch, I., Wang, H., McCloskey, S.: Relations algebras in qualitative spatial reasoning. Fundamenta Informaticae 39, 229–248 (1999)

    MathSciNet  Google Scholar 

  18. Düntsch, I., Wang, H., McCloskey, S.: A relation-algebraic approach to the region connection calculus. Theoretical Computer Science 255, 63–83 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  19. Egenhofer, M.: Reasoning about binary topological relations. In: Günther, O., Schek, H.-J. (eds.) SSD 1991. LNCS, vol. 525, pp. 141–160. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  20. Egenhofer, M.: Deriving the composition of binary topological relations. Journal of Visual Languages and Computing 5, 133–149 (1994)

    Article  Google Scholar 

  21. Egenhofer, M., Franzosa, R.: Point-set topological spatial relations. International Journal of Geographic Information Systems 5, 161–174 (1991)

    Google Scholar 

  22. Egenhofer, M., Sharma, J.: Topological consistency. In: Fifth International Symposium on Spatial Data Handling, Charleston, pp. 335–343 (1992)

    Google Scholar 

  23. Egenhofer, M., Sharma, J.: Assessing the consistency of complete and incomplete topological information. Geographical Systems 1, 47–68 (1993)

    Google Scholar 

  24. Ghosh, M.: Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems. MSc Thesis, Brock University (2013), https://dr.library.brocku.ca/handle/10464/5109

  25. Henkin, L., Monk, J.D., Tarski, A.: Cylindric algebras, Part II. Studies in Logic and the Foundations of Mathematics, vol. 115. North-Holland (1985)

    Google Scholar 

  26. Kahl, W., Schmidt, G.: Exploring (Finite) Relation Algebras Using Tools Written in Haskell. Technical Report 2000-02, University of the Federal Armed Forces Munich (2000)

    Google Scholar 

  27. Maddux, R.D.: Some varieties containing relation algebras. Transactions of the AMS 272, 501–526 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  28. Maddux, R.D.: Relation algebras. Studies in Logic and the Foundations of Mathematics, vol. 150. Elsevier (2006)

    Google Scholar 

  29. Mormann, T.: Holes in the region connection calculus, Oisterwijk (2001) (Preprint presented at RelMiCS 6)

    Google Scholar 

  30. Pratt, I., Schoop, D.: A complete axiom system for polygonal mereotopology of the real plane. Journal of Philosophical Logic 27(6), 621–658 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  31. Pratt, I., Schoop, D.: Expressivity in polygonal, plane mereotopology. Journal of Symbolic Logic 65(2), 822–838 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  32. Randell, D.A., Cohn, A.G.: Modelling topological and metrical properties in physical processes. Principles of Knowledge Representation and Reasoning, 357–368 (1989)

    Google Scholar 

  33. Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. Principles of Knowledge Representation and Reasoning, 165–176 (1992)

    Google Scholar 

  34. Siddavaatam, P., Winter, M.: Splitting atoms in relation algebras. In: de Swart, H. (ed.) RAMICS 2011. LNCS, vol. 6663, pp. 331–346. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  35. Stell, J.G.: Boolean connection algebras: A new approach to the Region-Connection Calculus. Artificial Intelligence 122, 111–136 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  36. Vakarelov, D., Dimov, G., Düntsch, I., Bennett, B.: A proximity approach to some region-based theories of space. Journal of Applied Non-classical Logics 12, 527–559 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  37. Varzi, A.C.: Parts, wholes, and part-whole relations: The Prospect of Mereotopology. Data & Knowledge Engineering 20, 259–286 (1996)

    Article  MATH  Google Scholar 

  38. Whitehead, A.N.: Process and Reality. MacMillan (1929)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Brock University, St. Catharines, Ontario, Canada, L2S 3A1

    Manas Ghosh & Michael Winter

Authors
  1. Manas Ghosh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Winter
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. NICTA and UNSW, Anzac Parade 223, 2033, Kensington, NSW, Australia

    Peter Höfner

  2. School of Computational Sciences, Chapman University, One University Drive, 92866, Orange, CA, USA

    Peter Jipsen

  3. Department of Computing and Software, McMaster University, 1280 Main Street West, L8S 4K1, Hamilton, ON, Canada

    Wolfram Kahl

  4. Department of Computer Science, University of Augsburg, Universitätsstraße 6a, 86159, Augsburg, Germany

    Martin Eric Müller

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Ghosh, M., Winter, M. (2014). Refinements of the RCC25 Composition Table. In: Höfner, P., Jipsen, P., Kahl, W., Müller, M.E. (eds) Relational and Algebraic Methods in Computer Science. RAMICS 2014. Lecture Notes in Computer Science, vol 8428. Springer, Cham. https://doi.org/10.1007/978-3-319-06251-8_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-06251-8_23

  • Publisher Name: Springer, Cham

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

  • Online ISBN: 978-3-319-06251-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation