{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:03:15Z","timestamp":1778540595707,"version":"3.51.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]]},"DOI":"10.1305\/ndjfl\/1039724888","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:04:05Z","timestamp":1046207045000},"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":[]},{"given":"Ian","family":"Pratt","sequence":"additional","affiliation":[]}],"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.1207\/s15516709cog0202_3"},{"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":[[2024,12,11]],"date-time":"2024-12-11T21:50:11Z","timestamp":1733953811000},"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"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1997,4,1]]}}}