Skip to main content
Log in

Part and Complement: Fundamental Concepts in Spatial Relations

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

The spatial world consists of regions and relationships between regions. Examples of such relationships are that two regions are disjoint or that one is a proper part of the other. The formal specification of spatial relations is an important part of any formal ontology used in qualitative spatial reasoning or geographical information systems. Various schemes of relationships have been proposed and basic schemes have been extended to deal with vague regions, coarse regions, regions varying over time, and so on. The principal aim of this paper is not to propose further schemes, but to provide a uniform framework within which several existing schemes can be understood, and upon which further schemes can be constructed in a principled manner. This framework is based on the fundamental concepts of part and of complement. By varying these concepts, for example, allowing a part-of relation taking values in a lattice of truth values beyond the two-valued Boolean case, we obtain a family of schemes of spatial relations. The viability of this approach to spatial relations as parameterized by the concepts of part and complement is demonstrated by showing how it encompasses the RCC5 and RCC8 schemes as well as the case of ‘egg–yolk regions’.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. B. Bennett, Modal logics for qualitative spatial reasoning, Bulletin of IGPL (1995).

  2. P.A. Burrough and A.U. Frank (eds.), Geographic Objects with Indeterminate Boundaries, GISDATA Series, Vol. 2 (Taylor & Francis, 1996).

  3. E. Clementini and P.D. Felice, Approximate topological relations, International Journal of Approximate Reasoning 16 (1997) 173–204.

    Google Scholar 

  4. A.G. Cohn, B. Bennett et al., Qualitative spatial representation and reasoning with the region connection calculus, GeoInformatica 1 (1997) 275–316.

    Google Scholar 

  5. A.G. Cohn and N.M. Gotts, The 'Egg-Yolk' representation of regions with indeterminate boundaries, in: Geographic Objects with Indeterminate Boundaries, GISDATA Series, Vol. 2, eds. P.A. Burrough and A.U. Frank (Taylor & Francis, 1996) pp. 171–187.

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

    Google Scholar 

  7. M.J. Egenhofer and R. Franzosa, Point—set topological spatial relations, International Journal of Geographical Information Systems 5 (1991) 161–174.

    Google Scholar 

  8. M.J. Egenhofer and R. Franzosa, On the equivalence of topological relations, International Journal of Geographical Information Systems 9 (1995) 133–152.

    Google Scholar 

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

  10. M. Erwig and R.H. Güting, Explicit graphs in a functional model for spatial databases, IEEE Transactions on Knowledge and Data Engineering 5 (1994) 787–804.

    Google Scholar 

  11. A. Galton, Modes of overlap, Journal of Visual Languages and Computing 9 (1998) 61–79.

    Google Scholar 

  12. M. Knauff, R. Rauh and J. Renz, A cognitive assessment of topological spatial relations: Results from an empirical investigation, in: Spatial Information Theory, COSIT'97 Proceedings, Lecture Notes in Computer Science, Vol. 1329, eds. S.C. Hirtle and A.U. Frank (1997) pp. 193–206.

  13. F. Lehmann and A.G. Cohn, The EGG/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes, in: Proceedings of Conference on Information Knowledge Management (1994) pp. 272–279.

  14. J. Renz, Qualitative Spatial Reasoning with Topological Information, Lecture Notes in Artificial Intelligence, Vol. 2293 (Springer, 2002).

  15. J. Renz and B. Nebel, Efficient methods for qualitative spatial reasoning, in: Proceedings of the 13th European Conference on Artificial Intelligence, ed. H. Prade (1998) pp. 562–566.

  16. J. Renz, R. Rauh and M. Knauff, Towards cognitive adequacy of topological spatial relations, in: Spatial Cognition II. Integrating Abstract Theories, Empirical Studies, Formal Models, and Practical Applications, Lecture Notes in Computer Science, Vol. 1849, eds. C. Freksa, W. Brauer and C. Habel (2000) pp. 184–197.

  17. J.G. Stell, Granulation for graphs, in: Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. International Conference COSIT'99, Lecture Notes in Computer Science, Vol. 1661, eds. C. Freksa and D. Mark (1999) pp. 417–432.

  18. J.G. Stell, Boolean connection algebras: A new approach to the region-connection calculus, Artificial Intelligence 122 (2000) 111–136.

    Google Scholar 

  19. J.G. Stell, The representation of discrete multi-resolution spatial knowledge, in: Principles of Knowledge Representation and Reasoning: Proceedings of KR2000, eds. A.G. Cohn, F. Giunchiglia and B. Selman (2000) pp. 38–49.

  20. J.G. Stell and M.F.Worboys, The algebraic structure of sets of regions, in: Spatial Information Theory, International Conference COSIT'97, Proceedings, Lecture Notes in Computer Science, Vol. 1329, eds. S.C. Hirtle and A.U. Frank (1997) pp. 163–174.

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stell, J.G. Part and Complement: Fundamental Concepts in Spatial Relations. Annals of Mathematics and Artificial Intelligence 41, 1–17 (2004). https://doi.org/10.1023/B:AMAI.0000018575.09226.ff

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:AMAI.0000018575.09226.ff

Navigation