Skip to main content
SpringerLink
Log in

A hierarchical representation of qualitative shape based on connection and convexity

  • Conference paper
  • First Online:
Spatial Information Theory A Theoretical Basis for GIS (COSIT 1995)

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

Included in the following conference series:

Abstract

In this paper we consider the problem of representing the shape of a region, qualitatively, within a logical theory of space. Using just two primitive notions, that of two regions connecting, and the convex hull of a region, a wide variety of concave shapes can be distinguished. Moreover, by applying the technique recursively to the inside of a region (i.e. that part of the convex hull not occupied by the region itself), a hierarchical representation at varying levels of granularity can be obtained.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Balbiani, B., Dugat, V., del Cerro, L. F. and Lopez, A.: 1994, Eléments de géométrie mécanique, Editions Hermes.

    Google Scholar 

  • Bennett, B.: 1994, Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, San Francisco, CA.

    Google Scholar 

  • Bennett, B.: 1995, Modal logics for qualitative spatial reasoning, Bulletin of the Interest Group on Propositional and Predicate Logics (IGPL). To appear.

    Google Scholar 

  • Casati, R. and Varzi, A.: 1994, Holes and Other Superficialities, MIT Press, Cambridge, MA.

    Google Scholar 

  • Clarke, B. L.: 1981, A calculus of individuals based on ‘connection', Notre Dame Journal of Formal Logic 23(3), 204–218.

    Google Scholar 

  • Clarke, B. L.: 1985, Individuals and points, Notre Dame Journal of Formal Logic 26(1), 61–75.

    Google Scholar 

  • Cohn, A. G.: 1987, A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3, 113–200.

    Google Scholar 

  • Cohn, A. G., Randell, D. A. and Cui, Z.: 1994, Taxonomies of logically defined qualitative spatial relations, in N. Guarino and R. Poli (eds), Formal Ontology in Conceptual Analysis and Knowledge Representation, Kluwer. To appear.

    Google Scholar 

  • Cohn, A. G., Randell, D. A., Cui, Z. and Bennett, B.: 1993, Qualitative spatial reasoning and representation, in N. P. Carreté and M. G. Singh (eds), Qualitative Reasoning and Decision Technologies, CIMNE, Barcelona, pp. 513–522.

    Google Scholar 

  • Cui, Z., Cohn, A. G. and Randell, D. A.: 1992, Qualitative simulation based on a logical formalism of space and time, Proceedings AAAI-92, AAAI Press, Menlo Park, California, pp. 679–684.

    Google Scholar 

  • Edwards, G.: 1993, The voronoi model and cultural space: Applications to the social sciences and humanities, in A. U. Frank and I. Campari (eds), Spatial Information Theory: A Theoretical Basis for GIS, Vol. 716 of Lecture Notes in Computer Science, Springer Verlag, Berlin, pp. 202–214.

    Google Scholar 

  • Egenhofer, M.: 1994, Topological similarity, Proc FISI Workshop on the Topological Foundations of Cognitive Science.

    Google Scholar 

  • Egenhofer, M. J. and Al-Taha, K. K.: 1992, Reasoning about gradual changes of topological relationships, in A. U. Frank, I. Campari and U. Formentini (eds), Theories and Methods of Spatio-temporal Reasoning in Geographic Space, Vol. 639 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 196–219.

    Google Scholar 

  • Egenhofer, M. J., Clementini, E. and Di Felice, P.: 1994, Toplogical relations between regions with holes, Int. Journal of Geographical Information Systems 8(2), 129–144.

    Google Scholar 

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

    Google Scholar 

  • Freksa, C.: 1992b, Using orientation information for qualitative spatial reasoning, in A. U. Frank, I. Campari and U. Formentini (eds), Proc. Int. Conf. on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Springer-verlag, Berlin.

    Google Scholar 

  • Gotts, N. M.: 1994, How far can we ‘C'? defining a ‘doughnut’ using connection alone, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann.

    Google Scholar 

  • Leyton, M.: 1988, A process grammar for shape, Artificial Intelligence p. 34.

    Google Scholar 

  • Quaife, A.: 1989, Automated development of tarski's geometry, J. Automated Reasoning 5(1), 97–118.

    Google Scholar 

  • Randell, D. A.: 1991, Analysing the Familiar: Reasoning About Space and Time in the Everyday World, PhD thesis, University of Warwick.

    Google Scholar 

  • Randell, D. A. and Cohn, A. G.: 1992, Exploiting lattices in a theory of space and time, Computers and Mathematics with Applications 23(6–9), 459–476. Also appears in “Semantic Networks”, ed. F. Lehmann, Pergamon Press, Oxford, pp. 459–476, 1992.

    Google Scholar 

  • Randell, D. A., Cohn, A. G. and Cui, Z.: 1992a, Computing transitivity tables: A challenge for automated theorem provers, Proceedings CADE 11, Springer Verlag, Berlin.

    Google Scholar 

  • Randell, D. A., Cohn, A. G. and Cui, Z.: 1992b, Naive topology: Modelling the force pump, in P. Struss and B. Faltings (eds), Advances in Qualitative Physics, MIT Press, pp. 177–192.

    Google Scholar 

  • Randell, D. A., Cui, Z. and Cohn, A. G.: 1992, A spatial logic based on regions and connection, Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165–176.

    Google Scholar 

  • Randell, D. and Cohn, A.: 1989, Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, pp. 55–66.

    Google Scholar 

  • Sklansky, J.: 1972, Measuring concavity on a rectangular mosaic, IEEE Trans. on Computers C-21(12), 1355–1364.

    Google Scholar 

  • Tarski, A.: 1929, Les fondaments de la géométrie des corps, Ksiega Pamiatkowa Pierwszego Polskiego Zjazdu Matematycznego pp. 29–33. A suplement to Annales de la Société Polonaise de Mathématique. English translation, ‘Foundations of the Geometry of Solids', in A. Tarski, Logic, Semantics, Metamathematics, Oxford Clarendon Press, 1956.

    Google Scholar 

  • Varzi, A. C.: 1993, Spatial reasonng in a holey world, Proceedings of the Spatial and Temporal Reasoning workshop, IJCAI-93, pp. 47–59.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Division of Artificial Intelligence, School of Computer Studies, University of Leeds, LS2 JJT, Leeds, UK

    A. G. Cohn

Authors
  1. A. G. Cohn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrew U. Frank Werner Kuhn

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cohn, A.G. (1995). A hierarchical representation of qualitative shape based on connection and convexity. In: Frank, A.U., Kuhn, W. (eds) Spatial Information Theory A Theoretical Basis for GIS. COSIT 1995. Lecture Notes in Computer Science, vol 988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60392-1_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-60392-1_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60392-4

  • Online ISBN: 978-3-540-45519-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation