## Ontologies for Plane, Polygonal Mereotopology (1997)

### Cached

### Download Links

- [www-csli.stanford.edu]
- [www.cs.man.ac.uk]
- DBLP

### Other Repositories/Bibliography

Citations: | 31 - 3 self |

### BibTeX

@MISC{Pratt97ontologiesfor,

author = {Ian Pratt and Oliver Lemon},

title = {Ontologies for Plane, Polygonal Mereotopology},

year = {1997}

}

### OpenURL

### Abstract

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 2-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.