Ontologies for Plane, Polygonal Mereotopology

Notre Dame Journal of Formal Logic 38 (2):225-245 (1997)
Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotopological reasoning in two-dimensional space. Our strategy is to define a mereotopological language together with a familiar, point-based interpretation. It is proposed that, to be practically useful, any alternative region-based spatial ontology must support the same sentences in our language as this familiar interpretation. This proposal has the merit of transforming a vague, open-ended question about ontologies for practical mereotopological reasoning into a precise question in model theory. We show that (a version of) the familiar interpretation is countable and atomic, and therefore prime. We conclude that useful alternative ontologies of the plane are, if anything, less parsimonious than the one which they are supposed to replace
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1305/ndjfl/1039724888
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 28,106
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
A Topological Constraint Language with Component Counting.Ian Pratt-Hartmann - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):441-467.
Expressivity in Polygonal, Plane Mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.
Full Mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
Whitehead and Russell on Points.David Bostock - 2010 - Philosophia Mathematica 18 (1):1-52.
A Canonical Model of the Region Connection Calculus.Jochen Renz - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):469-494.

View all 6 citations / Add more citations

Similar books and articles
Expressivity in Polygonal, Plane Mereotopology.Ian Pratt & Dominik Schoop - 2000 - Journal of Symbolic Logic 65 (2):822-838.
Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 29–38.
Elementary Polyhedral Mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
Ontology (Science).Barry Smith - 2008 - In Carola Eschenbach & Michael Grüninger (eds.), Formal Ontology in Information Systems. IOS Press. pp. 21-35.
Exemplification, Then and Now.Fred Wilson - 2013 - Axiomathes 23 (2):269-289.

Monthly downloads

Added to index


Total downloads

18 ( #271,773 of 2,171,797 )

Recent downloads (6 months)

1 ( #326,702 of 2,171,797 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums