Loading...
Please wait, while we are loading the content...
Similar Documents
Ontologies for Plane, Polygonal Mereotopology (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Lemon, Oliver Pratt, Ian |
| 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 ... |
| File Format | |
| Journal | Notre Dame Journal of Formal Logic |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Spatial Ontology Elegant Treatment Mereotopological Reasoning Practical Mereotopological Reasoning Primitive Entity Topological Reasoning Useful Alternative Ontology Familiar Interpretation Point-based Interpretation Precise Question Mereotopological Language Polygonal Mereotopology Open-ended Question 2-dimensional Space Alternative Region-based Spatial Ontology |
| Content Type | Text |
| Resource Type | Article |
