Paper
Mereotopology: A theory of parts and boundaries

https://doi.org/10.1016/S0169-023X(96)00015-8Get rights and content

Abstract

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension of which it is the boundary. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering.

References (81)

  • A. Bochman

    Mereology as a theory of part-whole

    Logique et Analyse

    (1990)
    A. Bochman

    Mereology as a theory of part-whole

    Logique et Analyse

    (1990)
  • F. Brentano

    Philosophical Investigations on Space, Time and the Continuum

    (1988)
  • C. Brugman et al.

    Cognitive topology and lexical networks

  • R. Casati et al.

    Holes and Other Superficialities

    (1994)
  • R.M. Chisholm

    Boundaries as dependent particulars

    Grazer Philosophische Studien

    (1984)
  • B.L. Clarke

    A calculus of individuals based on ‘connection’

    Notre Dame J. Formal Logic

    (1981)
  • B.L. Clarke

    Individuals and points

    Notre Dame J. Formal Logic

    (1985)
  • A.G. Cohn et al.

    A theory of spatial relations with indeterminate boundaries

  • H. Delius

    Self-Awareness. A Semantical Inquiry

    (1981)
  • J.-P. Desclés

    State, event, process, and topology

    General Linguistics

    (1989)
  • C. Eschenbach

    A mereotopological definition of ‘point’

  • C. Eschenbach et al.

    Classical mereology and restricted domains

    Formal Ontology in Conceptual Analysis and Knowledge Representation

    Int. J. Human-Computer Studies

    (1995)
  • K. Fine

    Husserl's theory of part-whole

  • K. Forbus

    Qualitative process theory

    Artificial Intelligence

    (1984)
  • C. Freksa

    Temporal reasoning based on semi-intervals

    Artificial Intelligence

    (1992)
  • N.M. Gotts

    Defining a ‘doughnut’ made difficult

  • N.M. Gotts

    How far can we ‘C’? Defining a ‘doughnut’ using connection alone

  • N. Guarino

    The ontological level

  • N. Guarino et al.

    An ontology of meta-level categories

  • Formal ontology in conceptual analysis and knowledge representation

    Int. J. Human-Computer Studies

    (1995)
  • C. Habel

    Propositional and depictorial representations of spatial knowledge: the case of path concepts

  • C. Habel

    Discreteness, finiteness and the structure of topological space

  • C. Habel et al.

    Propositional and Depictorial Partonomies: A Hybrid Approach

  • G. Hager

    Naive physics of materials: A recon mission

  • P.J. Hayes

    The second naive physics manifesto

  • J.R. Herring

    The Mathematical Modeling of Spatial and Non-Spatial Information in Geographic Information Systems

  • Cited by (229)

    View all citing articles on Scopus
    View full text