{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T22:47:42Z","timestamp":1791931662111,"version":"4.3.4"},"reference-count":39,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1997,4,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1305\/ndjfl\/1039724888","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T16:04:05Z","timestamp":1046189045000},"page":"225-245","source":"Crossref","is-referenced-by-count":22,"title":["Ontologies for Plane, Polygonal Mereotopology"],"prefix":"10.1215","volume":"38","author":[{"given":"Oliver","family":"Lemon","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ian","family":"Pratt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"73","reference":[{"key":"39","unstructured":"Whitehead, A. N., <i>Process and Reality<\/i>, Macmillan, New York, 1929."},{"key":"1","unstructured":"Allen, J. F., \u201cAn interval-based representation of temporal knowledge,\u201d pp. 221\u201326 in <i>The Seventh International Joint Conference on Artificial Intelligence (IJCAI)<\/i>, 1981."},{"key":"2","unstructured":"Asher, N., and L. Vieu, \u201cToward a geometry of common sense: a semantics and a complete axiomatization of mereotopology,\u201d pp. 846\u201352 in <i>International Joint Conference on Artificial Intelligence (IJCAI)<\/i>, 1995. MR 1464505"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Balbiani, P., L. F. del Cerro, T. Tinchev, and D. Vakarelov, \u201cGeometrical structures and modal logic,\u201d pp. 43\u201357 in <i>Practical Reasoning. Lecture Notes in Artificial Intelligence<\/i>, 1085, edited by D. Gabbay and H.-J. Ohlbach, Springer-Verlag, Berlin, 1996. MR 1457027","DOI":"10.1007\/3-540-61313-7_62"},{"key":"4","unstructured":"Basri, S. A., <i>A Deductive Theory of Space and Time. Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1966. Zbl 0161.00208 MR 35:6431"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Biacino, L., and Gerla, G., \u201cConnection structures,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 32 (1991), pp. 242\u201347. Zbl 0749.06004 MR 92i:03067","DOI":"10.1305\/ndjfl\/1093635748"},{"key":"6","unstructured":"Borgo, S., N. Guarino, and C. Masolo, \u201cA pointless theory of space based on strong connection and congruence,\u201d pp. 220\u201329 in <i>Principles of Knowledge Representation and Reasoning. Proceedings of the Fifth International Conference (KR)<\/i>, edited by L. C. Aiello, J. Doyle, and S. C. Shapiro, Morgan Kaufmann, San Francisco, 1996."},{"key":"7","unstructured":"Carnap, R., <i>Introduction to Symbolic Logic and its Applications<\/i>, Dover, New York, 1958. Zbl 0083.00104 MR 21:2578"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Casati, R., and A. Varzi, <i>Holes and Other Superficialities<\/i>, The MIT Press, Cambridge, 1994.","DOI":"10.7551\/mitpress\/3555.001.0001"},{"key":"9","doi-asserted-by":"crossref","unstructured":"Casati, R., and A. Varzi, \u201cThe structure of spatial localization,\u201d <i>Philosophical Studies<\/i>, vol. 82 (1996), pp. 205\u201339.","DOI":"10.1007\/BF00364776"},{"key":"10","unstructured":"Chang, C. C., and H. J. Keisler, <i>Model Theory<\/i>, 3d edition, North-Holland, Amsterdam, 1990. Zbl 0697.03022 MR 91c:03026"},{"key":"11","unstructured":"Clarke, B. L., \u201cA calculus of individuals based on `connection',\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 23 (1981), pp. 204\u201318. Zbl 0476.03035 MR 82i:03036"},{"key":"12","doi-asserted-by":"crossref","unstructured":"Clarke, B. L., \u201cIndividuals and points,\u201d <i>Notre Dame Journal of Formal Logic<\/i>, vol. 26 (1985), pp. 61\u201375. Zbl 0597.03005 MR 86h:03047","DOI":"10.1305\/ndjfl\/1093870761"},{"key":"13","unstructured":"Davis, E., <i>Representing and Acquiring Geographic Knowledge. Research Notes in Artificial Intelligence<\/i>, Morgan Kaufmann, Los Altos, 1986."},{"key":"14","unstructured":"Davis, E., <i>Representations of Commonsense Knowledge<\/i>, Morgan Kaufmann, San Mateo, 1990."},{"key":"15","unstructured":"Dudek, G., P. Freedman, and S. Hadjres, \u201cUsing local information in a non-local way for mapping graph-like worlds,\u201d pp. 1639\u201345 in <i>Thirteenth International Joint Conference on Artificial Intelligence (IJCAI)<\/i>, Morgan Kaufmann, San Mateo, 1993."},{"key":"16","unstructured":"Goldblatt, R., <i>Mathematics of Modality. CSLI Lecture Notes<\/i>, 43, CSLI, Stanford, 1993. Zbl 0942.03516 MR 95k:03022"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Gotts, N., J. Gooday, and A. Cohn, \u201cA connection based approach to commonsense topological description and reasoning,\u201d <i>Monist<\/i>, vol. 79 (1996), pp. 51\u201375.","DOI":"10.5840\/monist19967913"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Haarslev, V., \u201cFormal semantics of visual languages using spatial reasoning,\u201d pp. 156\u201363 in <i>IEEE Symposium on Visual Languages<\/i>, IEEE Computer Society Press, Los Alamitos, 1995.","DOI":"10.1109\/VL.1995.520804"},{"key":"19","unstructured":"Henkin, L., P. Suppes, and A. Tarski, editors, <i>The Axiomatic Method, with Special Reference to Geometry and Physics<\/i>, North-Holland, Amsterdam, 1959. Zbl 0088.24414"},{"key":"20","unstructured":"Hodges, W., <i>Model Theory. Encyclopedia of Mathematics and its Applications<\/i>, vol. 42, Cambridge University Press, Cambridge, 1993. Zbl 0789.03031 MR 94e:03002"},{"key":"21","doi-asserted-by":"crossref","unstructured":"Knight, J. F., A. Pillay, and C. Steinhorn, \u201cDefinable sets in ordered structures II,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 295 (1986), pp. 593\u2013605. Zbl 0662.03024 MR 88b:03050b","DOI":"10.1090\/S0002-9947-1986-0833698-1"},{"key":"23","doi-asserted-by":"crossref","unstructured":"Kuipers, B., \u201cModeling spatial knowledge,\u201d <i>Cognitive Science<\/i>, vol. 2 (1978), pp. 129\u201353.","DOI":"10.1016\/S0364-0213(78)80003-2"},{"key":"24","doi-asserted-by":"crossref","unstructured":"Lemon, O., \u201cReview of <i>Logic and Visual Information<\/i> by E. M. Hammer,\u201d <i>Journal of Logic, Language, and Information<\/i>, vol. 6 (1997), pp. 213\u201316.","DOI":"10.1023\/A:1008278914765"},{"key":"25","unstructured":"Lemon, O., and I. Pratt, \u201cSpatial logic and the complexity of diagrammatic reasoning,\u201d <i>Machine Graphics and Vision. Special Issue on Diagrammatic Representation and Reasoning<\/i>, vol. 6 (1997), pp. 89\u2013108."},{"key":"26","doi-asserted-by":"publisher","unstructured":"Pillay, A., and C. Steinhorn, \u201cDefinable sets in ordered structures I,\u201d <i>Transactions of the American Mathematical Society<\/i>, vol. 295 (1986), pp. 565\u201392. Zbl 0662.03023 MR 88b:03050a","DOI":"10.1090\/S0002-9947-1986-0833697-X"},{"key":"27","doi-asserted-by":"crossref","unstructured":"Pratt, I., \u201cMap semantics,\u201d pp. 77\u201391 in <i>Spatial Information Theory: A Theoretical Basis for GIS<\/i>, edited by A. Frank and I. Campari, vol. 716 of <i>Lecture Notes in Computer Science<\/i>, Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/3-540-57207-4_7"},{"key":"28","doi-asserted-by":"publisher","unstructured":"Pratt, I., and D. Schoop, \u201cA complete axiom system for polygonal mereotopology of the real plane,\u201d Technical Report UMCS97-2-2, University of Manchester, Manchester, 1997.","DOI":"10.1305\/ndjfl\/1039724888"},{"key":"29","doi-asserted-by":"crossref","unstructured":"Rescher, N., and J. Garson, \u201cTopological logic,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 33 (1968), pp. 537\u201348. Zbl 0187.26702 MR 38:5595","DOI":"10.2307\/2271360"},{"key":"30","doi-asserted-by":"crossref","unstructured":"Rescher, N., and A. Urquhart, <i>Temporal Logic. Library of Exact Philosophy<\/i>, vol. 3, Springer-Verlag, New York, 1971. Zbl 0229.02027 MR 49:2267","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"31","doi-asserted-by":"publisher","unstructured":"Roeper, P., \u201cRegion-based topology,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 26 (1997) pp. 251\u2013309. Zbl 0873.54001 MR 99f:54005","DOI":"10.1023\/A:1017904631349"},{"key":"32","doi-asserted-by":"crossref","unstructured":"Segerberg, K., \u201cTwo dimensional modal logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 2 (1973) pp. 77\u201396. Zbl 0259.02013 MR 54:12488","DOI":"10.1007\/BF02115610"},{"key":"33","doi-asserted-by":"crossref","unstructured":"Shanahan, M., \u201cDefault reasoning about spatial occupancy,\u201d <i>Artificial Intelligence<\/i>, vol. 74 (1995), pp. 147\u201363.","DOI":"10.1016\/0004-3702(94)00071-8"},{"key":"34","doi-asserted-by":"publisher","unstructured":"Shehtman, V. B., \u201cModal logics of domains on the real plane,\u201d <i>Studia Logica<\/i>, vol. 42 (1983) pp. 63\u201380. MR 86d:03020","DOI":"10.1007\/BF01418760"},{"key":"35","unstructured":"Tarski, A., \u201cFoundations of the geometry of solids,\u201d pp. 24\u201329 in <i>Logic, Semantics, Metamathematics<\/i>, Clarendon Press, Oxford, 1956."},{"key":"36","doi-asserted-by":"crossref","unstructured":"Varzi, A., \u201cSpatial reasoning in a holey world,\u201d pp. 326\u201336 in <i>Advances in Artificial Intelligence<\/i>, edited by P. Torasso, vol. 728 of <i>Lecture Notes in Artificial Intelligence<\/i>, Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/3-540-57292-9_70"},{"key":"37","doi-asserted-by":"crossref","unstructured":"Vieu, L., \u201cA logical framework for reasoning about space,\u201d pp. 25\u201335 in <i>Spatial Information Theory: A Theoretical Basis for GIS<\/i>, edited by A. Frank and I. Campari, vol. 716 of <i>Lecture Notes in Computer Science<\/i>, Springer-Verlag, Berlin, 1993.","DOI":"10.1007\/3-540-57207-4_3"},{"key":"38","doi-asserted-by":"crossref","unstructured":"von Wright, G. H., \u201cA modal logic of place,\u201d pp. 65\u201373 in <i>The Philosophy of Nicholas Rescher: Discussion and Replies<\/i>, edited by E. Sosa, Reidel, Dordrecht, 1979.","DOI":"10.1007\/978-94-009-9407-2_9"},{"key":"22","doi-asserted-by":"publisher","unstructured":"Koppelberg, S., <i>Handbook of Boolean Algebras<\/i>, vol. 1, North-Holland, Amsterdam, 1989. Zbl 0671.06001 MR 90k:06002","DOI":"10.1007\/BF00353658"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1039724888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T22:22:54Z","timestamp":1791930174000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-38\/issue-2\/Ontologies-for-Plane-Polygonal-Mereotopology\/10.1305\/ndjfl\/1039724888.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,4,1]]},"references-count":39,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1997,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1039724888","relation":{},"ISSN":["0029-4527","1939-0726"],"issn-type":[{"value":"0029-4527","type":"print"},{"value":"1939-0726","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}