{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T23:03:24Z","timestamp":1778540604887,"version":"3.51.4"},"reference-count":114,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["GeoInformatica"],"published-print":{"date-parts":[[1997,10]]},"DOI":"10.1023\/a:1009712514511","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T17:50:41Z","timestamp":1040579441000},"page":"275-316","source":"Crossref","is-referenced-by-count":363,"title":["Qualitative Spatial Representation and Reasoning with the Region Connection Calculus"],"prefix":"10.1007","volume":"1","author":[{"given":"Anthony G.","family":"Cohn","sequence":"first","affiliation":[]},{"given":"Brandon","family":"Bennett","sequence":"additional","affiliation":[]},{"given":"John","family":"Gooday","sequence":"additional","affiliation":[]},{"given":"Nicholas Mark","family":"Gotts","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"145405_CR1","unstructured":"Allen, J. F. \u201cAn interval-based representation of temporal knowledge,\u201d Proceedings 7th IJCAI, pp. 221\u2013226, 1981."},{"issue":"11","key":"145405_CR2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J. F. \u201cMaintaining knowledge about temporal intervals,\u201d Communications of the ACM, Vol. 26(11): 832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"issue":"2","key":"145405_CR3","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. F. Allen","year":"1984","unstructured":"Allen, J. F. \u201cTowards a general theory of action and time,\u201d Artificial Intelligence, Vol. 23(2): 123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"145405_CR4","unstructured":"Asher, N. and Vieu, L. \u201cToward a geometry of common sense: A semantics and a complete axiomatization of mereotopology,\u201d Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal,, 1995."},{"key":"145405_CR5","unstructured":"Bennett, B. \u201cSome observations and puzzles about composing spatial and temporal relations,\u201d in R. Rodr\u00edguez (ed.), Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, 1994a."},{"key":"145405_CR6","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94)","author":"B. Bennett","year":"1994","unstructured":"Bennett, B. Spatial reasoning with propositional logics, in J. Doyle, E. Sandewall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann: San Francisco, CA, 1994b."},{"key":"145405_CR7","doi-asserted-by":"crossref","unstructured":"Bennett, B. \u201cModal logics for qualitative spatial reasoning,\u201d Bulletin of the Interest Group on Propositional and Predicate Logics (IGPL), 1995.","DOI":"10.1093\/jigpal\/4.1.23"},{"key":"145405_CR8","unstructured":"Bennett, B. The application of qualitative spatial reasoning to GIS, in R. Abrahart (ed.), Proc First Int. Conf. on GeoComputation, Vol. I, Leeds, pp. 44\u201347, 1996a."},{"key":"145405_CR9","doi-asserted-by":"crossref","unstructured":"Bennett, B. Carving up space: steps towards construction of an absolutely complete theory of spatial regions, in L. P. J.J. Alfres and E. Orlowska (eds), Proceedings of JELIA '96, pp. 337\u2013353, 1996b.","DOI":"10.1007\/3-540-61630-6_24"},{"key":"145405_CR10","unstructured":"Bennett, B., Isli, A. and Cohn, A. G. \u201cWhen does a composition table provide a complete and tractable proof procedure for a relational constraint language?\u201d Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning, Nagoya, Japan, 1997."},{"key":"145405_CR11","doi-asserted-by":"crossref","unstructured":"Biacino, L. and Gerla, G. \u201cConnection structures,\u201d Notre Dame Journal of Formal Logic, 1991.","DOI":"10.1305\/ndjfl\/1093635748"},{"key":"145405_CR12","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3555.001.0001","volume-title":"Holes and Other Superficialities","author":"R. Casati","year":"1994","unstructured":"Casati, R. and Varzi, A. Holes and Other Superficialities, MIT Press: Cambridge, MA, 1994."},{"issue":"3","key":"145405_CR13","first-page":"204","volume":"23","author":"B. L. Clarke","year":"1981","unstructured":"Clarke, B. L. \u201cA calculus of individuals based on \u2018connection\u2019,\u201d Notre Dame Journal of Formal Logic, Vol. 23(3): 204\u2013218, 1981.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"145405_CR14","first-page":"61","volume":"26","author":"B. L. Clarke","year":"1985","unstructured":"Clarke, B. L. \u201cIndividuals and points,\u201d Notre Dame Journal of Formal Logic, Vol. 26(1): 61\u201375, 1985.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"145405_CR15","unstructured":"Clementini, E. and Di Felice, P. An algebraic model for spatial objects with undetermined boundaries, in P. Burrough and A. M. Frank (eds), Proceedings, GISDATA Specialist Meeting on Geographical Entities with Undetermined Boundaries,, Taylor Francis, 1994."},{"key":"145405_CR16","doi-asserted-by":"crossref","unstructured":"Clementini, E. and Di Felice, P. \u201cApproximate topological relations,\u201d International Journal of Approximate Reasoning, 1997.","DOI":"10.1016\/S0888-613X(96)00127-2"},{"key":"145405_CR17","doi-asserted-by":"crossref","unstructured":"Clementini, E., Di Felice, P. and Oosterom, P. A small set of formal topological relationships suitable for end user interatction, in D. Abel and B. C. Ooi (eds), Proc. 3rd Int. Symp. on Large Spatial Databases, SSD, number 692 in LNCS, Springer, pp. 277\u2013295, 1994.","DOI":"10.1007\/3-540-56869-7_16"},{"issue":"6","key":"145405_CR18","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1016\/0097-8493(94)90007-8","volume":"18","author":"E. Clementini","year":"1994","unstructured":"Clementini, E., Sharma, J. and Egenhofer, M. J. \u201cModeling topological spatial relations: strategies for query processing,\u201d Computers and Graphics, Vol. 18(6): 815\u2013822, 1994.","journal-title":"Computers and Graphics"},{"key":"145405_CR19","first-page":"113","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G. \u201cA more expressive formulation of many sorted logic,\u201d Journal of Automated Reasoning, Vol. 3: 113\u2013200, 1987.","journal-title":"Journal of Automated Reasoning"},{"key":"145405_CR20","unstructured":"Cohn, A. G. Modal and non-modal qualitative spatial logics, in F. D. Anger, H. W. Guesgen and J. van Benthem (eds), Proceedings of the Workshop on Spatial and Temporal Reasoning, IJCAI-93, IJCAI, 1993."},{"key":"145405_CR21","doi-asserted-by":"crossref","unstructured":"Cohn, A. G. A hierarchcial representation of qualitative shape based on connection and convexity, in A. Frank (ed.), Proc COSIT95, LNCS, Springer Verlag, pp. 311\u2013326, 1995.","DOI":"10.1007\/3-540-60392-1_20"},{"key":"145405_CR22","doi-asserted-by":"crossref","unstructured":"Cohn, A. G. Calculi for qualitative spatial reasoning, in J. P. J Calmet, J A Campbell (ed.), Artificial Intelligence and Symbolic Mathematical Computation, Vol. 1138 of LNCS, Springer Verlag, pp. 124\u2013143, 1996.","DOI":"10.1007\/3-540-61732-9_54"},{"key":"145405_CR23","unstructured":"Cohn, A. G. and Gotts, N. M. \u201cSpatial regions with undetermined boundaries,\u201d Proceedings of Gaithesburg Workshop on GIS, ACM, 1994a."},{"key":"145405_CR24","unstructured":"Cohn, A. G. and Gotts, N. M. A theory of spatial regions with indeterminate boundaries, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science, 1994b."},{"key":"145405_CR25","doi-asserted-by":"crossref","unstructured":"Cohn, A. G. and Gotts, N. M. The \u2018egg-yolk\u2019 representation of regions with indeterminate boundaries, in P. Burrough and A. M. Frank (eds), Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, Francis Taylor, pp. 171\u2013187, 1996a.","DOI":"10.1201\/9781003062660-16"},{"key":"145405_CR26","unstructured":"Cohn, A. G. and Gotts, N. M. A mereological approach to representing spatial vagueness, in J. D. L C Aiello and S. Shapiro (eds), Principles of Knowledge Representation and Reasoning, Pro 5th Conference, Morgan Kaufmann, pp. 230\u2013241, 1996b."},{"key":"145405_CR27","doi-asserted-by":"crossref","unstructured":"Cohn, A. G., Bennett, B., Gooday, J. and Gotts, N. \u201cRepresenting and reasoning with qualitative spatial relations about regions,\u201d in O. Stock (ed.), Temporal and spatial reasoning, Kluwer, 1997.","DOI":"10.1007\/978-0-585-28322-7_4"},{"key":"145405_CR28","volume-title":"Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium","author":"A. G. Cohn","year":"1994","unstructured":"Cohn, A. G., Gooday, J. M. and Bennett, B. A comparison of structures in spatial and temporal logics, in R. Casati, B. Smith and G. White (eds), Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, H\u00f6lder-Pichler-Tempsky, Vienna, 1994."},{"key":"145405_CR29","doi-asserted-by":"crossref","unstructured":"Cohn, A. G., Gotts, N. M., Randell, D. A., Cui, Z., Bennett, B. and Gooday, J. M. \u201cExploiting temporal continuity in temporal calculi,\u201d in R. G. Golledge and M. J. Egenhofer (eds), Spatial and Temporal Reasoning in Geographical Information Systems, Elsevier, 1997. To appear.","DOI":"10.1093\/oso\/9780195103427.003.0001"},{"key":"145405_CR30","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1006\/ijhc.1995.1077","volume":"43","author":"A. G. Cohn","year":"1995","unstructured":"Cohn, A. G., Randell, D. A. and Cui, Z. \u201cTaxonomies of logically defined qualitative spatial relations,\u201d Int. J of Human-Computer Studies, Vol. 43: 831\u2013846, 1995.","journal-title":"Int. J of Human-Computer Studies"},{"key":"145405_CR31","unstructured":"Cohn, A. G., Randell, D. A., Cui, Z. and Bennett, B. \u201cQualitative spatial reasoning and representation,\u201d in N. P. Carret\u00e9 and M. G. Singh (eds), Qualitative Reasoning and Decision Technologies, CIMNE, Barcelona, pp. 513\u2013522, 1993."},{"key":"145405_CR32","first-page":"679","volume-title":"Proceedings AAAI-92","author":"Z. Cui","year":"1992","unstructured":"Cui, Z., Cohn, A. G. and Randell, D. A. Qualitative simulation based on a logical formalism of space and time, Proceedings AAAI-92, AAAI Press, Menlo Park, California, pp. 679\u2013684, 1992."},{"key":"145405_CR33","series-title":"Lecture Notes in Computer Science","first-page":"293","volume-title":"Advances in Spatial Databases","author":"Z. Cui","year":"1993","unstructured":"Cui, Z., Cohn, A. G. and Randell, D. A. \u201cQualitative and topological relationships in spatial databases,\u201d in D. Abel and B. C. Ooi (eds), Advances in Spatial Databases, Vol. 692 of Lecture Notes in Computer Science, Springer Verlag, Berlin, pp. 293\u2013315, 1993."},{"key":"145405_CR34","unstructured":"Davis, E., Gotts, N. M. and Cohn, A. G. \u201cConstraint networks of topological relations and convexity,\u201d Technical report, Courant Institute, New York University, 1997."},{"key":"145405_CR35","doi-asserted-by":"crossref","first-page":"449","DOI":"10.2307\/2939504","volume":"19","author":"T. de Laguna","year":"1922","unstructured":"de Laguna, T. \u201cPoint, line and surface as sets of solids,\u201d The Journal of Philosophy, Vol. 19: 449\u2013461, 1922.","journal-title":"The Journal of Philosophy"},{"key":"145405_CR36","unstructured":"Dornheim, C. \u201cVergleichende analyse topologischer ansaetze des qualitativen raeumlichen siessens,\u201d Studienarbeit, fachereich informatik,Universitaet Hamburg, 1995."},{"key":"145405_CR37","doi-asserted-by":"crossref","unstructured":"Egenhofer, M. Reasoning about binary topological relations, in O. Gunther and H. J. Schek (eds), Proceedings of the Second Symposium on Large Spatial Databases, SSD '91 (Zurich, Switzerland). Lecture Notes in Computer Science 525, pp. 143\u2013160, 1991.","DOI":"10.1007\/3-540-54414-3_36"},{"key":"145405_CR38","unstructured":"Egenhofer, M. Topological similarity, Proc FISI workshop on the Topological Foundations of Cognitive Science, Vol. 37 of Reports of the Doctoral Series in Cognitive Science, University of Hamburg, 1994."},{"issue":"2","key":"145405_CR39","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"M. Egenhofer","year":"1991","unstructured":"Egenhofer, M. and Franzosa, R. \u201cPoint-set topological spatial relations,\u201d International Journal of Geographical Information Systems Voo. 5(2): 161\u2013174, 1991.","journal-title":"International Journal of Geographical Information Systems"},{"key":"145405_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-55966-3_12","volume-title":"Theories and Methods of Spatio-temporal Reasoning in Geographic Space","author":"M. J. Egenhofer","year":"1992","unstructured":"Egenhofer, M. J. and Al-Taha, K. K. Reasoning about gradual changes of topological relationships, in A. U. Frank, I. Campari and U. Formentini (eds), Theories and Methods of Spatio-temporal Reasoning in Geographic Space, Vol. 639 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, pp. 196\u2013219, 1992."},{"issue":"2","key":"145405_CR41","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/02693799508902030","volume":"9","author":"M. J. Egenhofer","year":"1995","unstructured":"Egenhofer, M. J. and Franzosa, R. D. \u201cOn the equivalence of topological relations,\u201d International Journal of Geographical Information Systems, Vol. 9(2): 133\u2013152, 1995.","journal-title":"International Journal of Geographical Information Systems"},{"issue":"2","key":"145405_CR42","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1080\/02693799408901990","volume":"8","author":"M. J. Egenhofer","year":"1994","unstructured":"Egenhofer, M. J., Clementini, E. and Di Felice, P. \u201cToplogical relations between regions with holes,\u201d Int. Journal of Geographical Information Systems, Vol. 8(2), 129\u2013144, 1994.","journal-title":"Int. Journal of Geographical Information Systems"},{"issue":"4","key":"145405_CR43","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/64.336150","volume":"9","author":"C. Elkan","year":"1994","unstructured":"Elkan, C. The paradoxical success of fuzzy logic, IEEE Expert, Vol. 9(4): 3\u20138, 1994. Followed by responses and a reply.","journal-title":"IEEE Expert"},{"key":"145405_CR44","volume-title":"Recent Advances in Qualitative Physics","year":"1992","unstructured":"Faltings, B. and Struss, P. (eds). Recent Advances in Qualitative Physics, MIT Press: Cambridge, Ma, 1992."},{"key":"145405_CR45","doi-asserted-by":"crossref","unstructured":"Fernyhough, J., Cohn, A. G. and Hogg, D. C. \u201cReal time generation of semantic regions from video sequences,\u201d Proc. ECCV96, LNCS, Springer Verlag, 1996.","DOI":"10.1007\/3-540-61123-1_162"},{"key":"145405_CR46","unstructured":"Fernyhough, J., Cohn, A. G. and Hogg, D. C. Event recognition using qualitative reasoning on automatically generated spatio-temporal models from visual input, 1997."},{"key":"145405_CR47","unstructured":"Fernyhough, J. H. Generation of qualitative spatio-temporal representations from visual input, PhD Thesis, 1997."},{"key":"145405_CR48","unstructured":"Forbus, K., Nielsen, P. and Faltings, B. \u201cQualitative kinematics: A framework,\u201d Proceedings IJCAI-87, pp. 430\u2013436, 1987."},{"key":"145405_CR49","series-title":"Lecture Notes in Computer Science","volume-title":"Spatial Information Theory: a theoretical basis for GIS","year":"1995","unstructured":"Frank, A. and Kuhn, W. (eds). Spatial Information Theory: a theoretical basis for GIS, Vol. 988 of Lecture Notes in Computer Science, Springer Verlag, Berlin, 1995."},{"key":"145405_CR50","doi-asserted-by":"crossref","unstructured":"Frank, A. U. and Campari, I. (eds). Spatial Information Theory: A Theoretical Basis for GIS: Proceedigns of COSIT'93, Vol. 716 of Lecture Notes in Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57207-4"},{"key":"145405_CR51","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0004-3702(92)90090-K","volume":"54","author":"C. Freksa","year":"1992","unstructured":"Freksa, C. \u201cTemporal reasoning based on semi-intervals,\u201d Artificial Intelligence, Vol. 54: 199\u2013227, 1992.","journal-title":"Artificial Intelligence"},{"key":"145405_CR52","series-title":"LNCS","first-page":"377","volume-title":"Spatial Information Theory \u2014 Proceedings of the international conference COSIT'95","author":"A. Galton","year":"1995","unstructured":"Galton, A. \u201cTowards a qualitative theory of movement,\u201d in A. Frank and W. Kuhn (eds), Spatial Information Theory \u2014 Proceedings of the international conference COSIT'95, number 998 in LNCS, Sorubger, Austria, pp. 377\u2013396, 1995a."},{"key":"145405_CR53","unstructured":"Galton, A. Taking dimension seriously in qualitative spatial reasoning, in W. Wahlster (ed.), Proceedings of the 12th European Conference on Artificial Intelligence, John Wiley and Sons, pp. 501\u2013505, 1996."},{"issue":"2","key":"145405_CR54","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. P. Galton","year":"1990","unstructured":"Galton, A. P. \u201cA critical examination of Allen's theory of action and time,\u201d Artificial Intelligence, Vol. 42(2): 159\u2013188, 1990.","journal-title":"Artificial Intelligence"},{"key":"145405_CR55","volume-title":"Proc. Time, Space and Movement","author":"A. P. Galton","year":"1995","unstructured":"Galton, A. P. A qualitative approach to continuity, Proc. Time, Space and Movement, Ch. Bonas, France, 1995b."},{"key":"145405_CR56","unstructured":"Gooday, J. and Cohn, A. G. \u201cTransition-based qualitative simulation,\u201d Proceeding of the 10th International Workshop on Qualitative Reasoning, AAAI Press, pp. 74\u201382, 1996a."},{"key":"145405_CR57","volume-title":"Proc Workshop on Theory of Visual Languages","author":"J. Gooday","year":"1996","unstructured":"Gooday, J. and Cohn, A. G. Visual language syntax and semantics: A spatial logic approach, in K. Marriott and B. Meyer (eds), Proc Workshop on Theory of Visual Languages, Gubbio, Italy, 1996b."},{"key":"145405_CR58","doi-asserted-by":"crossref","unstructured":"Gooday, J. M. and Cohn, A. G. \u201cUsing spatial logic to describe visual languages,\u201d Artificial Intelligence Review, 1995. This paper will also appear in Integration of Natural Language and Vision Processing (Vol. IV), ed P MckEvitt, Kluwer, 1996.","DOI":"10.1007\/978-94-009-1716-3_3"},{"key":"145405_CR59","doi-asserted-by":"crossref","unstructured":"Gooday, J. M. and Galton, A. P. \u201cThe transition calculus: A high-level formalism for reasoning about action and change,\u201d Journal of Theoretical and Experimental Artificial Intelligence, 1996.","DOI":"10.1080\/095281397147239"},{"key":"145405_CR60","unstructured":"Gotts, N. M. Defining a \u2018doughnut\u2019 made difficult, in C. Eschenbach, C. Habel and B. Smith (eds), Topological Foundations of Cognitive Science, Vol. 37 of Reports of the Doctoral programme in Cognitive Science, University of Hamburg, 1994a."},{"key":"145405_CR61","doi-asserted-by":"crossref","unstructured":"Gotts, N. M. How far can we \u2018C\u2019? defining a \u2018doughnut\u2019 using connection alone, in J. Doyle, E. Sande-wall and P. Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), Morgan Kaufmann, 1994b.","DOI":"10.1016\/B978-1-4832-1452-8.50119-6"},{"key":"145405_CR62","unstructured":"Gotts, N. M. An axiomatic approach to topology for spatial information systems, Technical report, Report 96.25, School of Computer Studies, University of Leeds, 1996a."},{"key":"145405_CR63","unstructured":"Gotts, N. M. \u201cFormalising commonsense topology: The INCH calculus,\u201d Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, 1996b."},{"key":"145405_CR64","unstructured":"Gotts, N. M. Toplogy from a single primitive relation: defining topological properties and relations in terms of connection, Technical report Report 96.23, School of Computer Studies, University of Leeds, 1996c."},{"key":"145405_CR65","unstructured":"Gotts, N. M. Using the RCC formalism to describe the topology of spherical regions, Technical report, Report 96.24, School of Computer Studies, University of Leeds, 1996d."},{"key":"145405_CR66","unstructured":"Gotts, N. M. and Cohn, A. G., \u201cA mereological approach to spatial vagueness,\u201d Proceedings, Qualitative Reasoning Workshop 1995 (QR-95), 1995."},{"issue":"1","key":"145405_CR67","doi-asserted-by":"crossref","first-page":"51","DOI":"10.5840\/monist19967913","volume":"79","author":"N. M. Gotts","year":"1996","unstructured":"Gotts, N. M., Gooday, J. M. and Cohn, A. G. A connection based approach to common-sense topological description and reasoning, The Monist, Vol. 79(1): 51\u201375, 1996.","journal-title":"The Monist"},{"key":"145405_CR68","unstructured":"Grigni, M., Papadias, D. and Papadimitriou, C. Topological inference, in C. Mellish (ed.), proceedings of the fourteenth international joint conference on artificial intelligence (IJCAI-95), Vol. I, Morgan Kaufmann, pp. 901\u2013906, 1995."},{"key":"145405_CR69","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4064\/fm-38-1-137-152","volume":"38","author":"Grzegorczyk","year":"1951","unstructured":"Grzegorczyk, \u201cA. Undecidability of some topological theories,\u201d Fundamenta Mathematicae, Vol. 38: 137\u2013152, 1951.","journal-title":"Fundamenta Mathematicae"},{"key":"145405_CR70","unstructured":"Haarslev, V. \u201cFormal semantics of visual languages using spatial reasoning,\u201d Proceedings of the 11th IEEE Symposium on Visual Languages, 1995."},{"key":"145405_CR71","unstructured":"Haarslev, V. \u201cA fully formalized theory for describing visual notations,\u201d Proceedings of the AVI'96 post-conference Workshop on Theory of Visual Languages, Gubbio, Italy, 1996."},{"key":"145405_CR72","unstructured":"Haarslev, V. and M\u00f6ller, R. A qualitative spatial reasoner: progress report, in L. Ironi (ed.), Proceedings of the 11th Symposium on Qualitative Reasoning, Tuscany, Italy, 1997."},{"key":"145405_CR73","unstructured":"Hayes, P. J. \u201cNaive physics I: Ontology for liquids,\u201d in J. R. Hobbs and B. Moore (eds), Formal Theories of the Commonsense World, Ablex, pp. 71\u201389, 1985a."},{"key":"145405_CR74","unstructured":"Hayes, P. J. \u201cThe second naive physics manifesto,\u201d in J. R. Hobbs and B. Moore (eds), Formal Theories of the Commonsense World, Ablex, pp. 1\u201336, 1985b."},{"key":"145405_CR75","doi-asserted-by":"crossref","unstructured":"Hern\u00e1ndez, D. Qualitative Representation of Spatial Knowledge, Vol. 804 of Lecture Notes in Artificial Intelligence, Springer-Verlag, 1994.","DOI":"10.1007\/BFb0020328"},{"key":"145405_CR76","volume-title":"Technical Report Tech. Rpt. SSL-90-83 [P90-00099]","author":"K. M. Kahn","year":"1990","unstructured":"Kahn, K. M. and Saraswat, V. A. Complete visualizations of concurrent programs and their executions, Technical Report Tech. Rpt. SSL-90-83 [P90-00099], Xerox Palo Alto Research Centre, Palo Alto, California, 1990."},{"key":"145405_CR77","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0095-8956(91)90091-W","volume":"52","author":"J. Kratochv\u00edl","year":"1991","unstructured":"Kratochv\u00edl, J. \u201cString graphs ii: recognizing string graphs is NP-hard,\u201d Journal of Combinatorial Theory, Series B, Vol. 52: 67\u201378, 1991.","journal-title":"Journal of Combinatorial Theory, Series B"},{"key":"145405_CR78","first-page":"360","volume-title":"Proceedings AAAI-86","author":"P. Ladkin","year":"1986","unstructured":"Ladkin, P. \u201cTime representation: A taxonomy of interval relations,\u201d Proceedings AAAI-86, Morgan Kaufmann: Los Altos, pp. 360\u2013366, 1986."},{"key":"145405_CR79","series-title":"Kestrel Institute report","volume-title":"The Logic of Time Representation","author":"P. Ladkin","year":"1987","unstructured":"Ladkin, P. The Logic of Time Representation, PhD thesis, University of California, Berkeley. Kestrel Institute report KES.U.87.13, 1987."},{"issue":"3","key":"145405_CR80","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1145\/176584.176585","volume":"41","author":"P. Ladkin","year":"1994","unstructured":"Ladkin, P. and Maddux, R. \u201cOn binary constraint problems,\u201d Journal of the ACM, Vol. 41(3): 435\u2013469, 1994.","journal-title":"Journal of the ACM"},{"key":"145405_CR81","doi-asserted-by":"crossref","unstructured":"Lehmann, F. and Cohn, A. G. \u201cThe EGG\/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes,\u201d Proc. Conf. on Information Knowledge Management, ACM Press, pp. 272\u2013279, 1994.","DOI":"10.1145\/191246.191293"},{"key":"145405_CR82","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H. S. Leonard","year":"1940","unstructured":"Leonard, H. S. and Goodman, N. \u201cThe calculus of individuals and its uses,\u201d Journal of Symbolic Logic, Vol. 5: 45\u201355, 1940.","journal-title":"Journal of Symbolic Logic"},{"key":"145405_CR83","unstructured":"Le\u015bniewski, S. O podstawack matematyki, Prezeglad Filosoficzny, 1927\u20131931."},{"key":"145405_CR84","doi-asserted-by":"crossref","first-page":"867","DOI":"10.1016\/0098-1354(88)87014-5","volume":"12","author":"M. Mavrovouniotis","year":"1988","unstructured":"Mavrovouniotis, M. and Stephanopoulos, G. \u201cFormal order-of-magnitude reasoning in process engineering,\u201d Computers and Chemical Engineering, Vol. 12: 867\u2013881, 1988.","journal-title":"Computers and Chemical Engineering"},{"key":"145405_CR85","volume-title":"Technical report","author":"W. McCune","year":"1990","unstructured":"McCune, W. Otter 2.0 users guide, Technical report, Argonne National Laboratory, Argonne, Illinois, 1990."},{"key":"145405_CR86","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","unstructured":"McKinsey, J. and Tarski, A. \u201cThe algebra of topology,\u201d Annals of Methematics, Vol. 45: 141\u2013191, 1944.","journal-title":"Annals of Methematics"},{"key":"145405_CR87","first-page":"721","volume-title":"Proceedings AAAI-90","author":"A. Mukerjee","year":"1990","unstructured":"Mukerjee, A. and Joe, G. \u201cA qualitative model for space,\u201d Proceedings AAAI-90, Morgan Kaufmann: Los Altos, pp. 721\u2013727, 1990."},{"key":"145405_CR88","doi-asserted-by":"crossref","unstructured":"Nebel, B. \u201cComputational properties of qualitative spatial reasoning: First results,\u201d Procedings of the 19th German AI Conference, 1995a.","DOI":"10.1007\/3-540-60343-3_40"},{"issue":"1","key":"145405_CR89","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/200836.200848","volume":"42","author":"B. Nebel","year":"1995","unstructured":"Nebel, B. \u201cReasoning about temporal relations: a maximal tractable subset of Allen's interval algebra,\u201d Journal of the Association for Computing Machinery, Vol. 42(1): 43\u201366, 1995b.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"145405_CR90","doi-asserted-by":"crossref","unstructured":"Nerode, A. Some let cures on intuitionistic logic, in S. Homer, A. Nerode, R. Platek,, G. Sacks and A. Scedrov (eds), Logic and Computer Science, Vol. 1429 of Lecture Notes in Mathematics, Springer-Verlag, pp. 12\u201359, 1990.","DOI":"10.1007\/BFb0093923"},{"key":"145405_CR91","unstructured":"Nicod, J. Geometry in the Sensible World, Doctoral thesis, Sorbonne, 1924, English translation in Geometry and Induction, Routledge and Kegan Paul, 1969."},{"key":"145405_CR92","unstructured":"Pratt, I. and Schoop, D. A complete axiom system for polygonal mereotopology of the plane, Technical Report UMCS-97-2-2, University of Manchester, 1997."},{"key":"145405_CR93","unstructured":"Raiman, O. \u201cOrder of magnitude reasoning,\u201d AAAI-86: Proceedings of the National Conference on AI, pp. 100\u2013104, 1986."},{"issue":"6\u20139","key":"145405_CR94","doi-asserted-by":"crossref","first-page":"459","DOI":"10.1016\/0898-1221(92)90118-2","volume":"23","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A. and Cohn, A. G. \u201cExploiting lattices in a theory of space and time,\u201d Computers and Mathematics with Applications, Vol. 23(6\u20139): 459\u2013476, 1992. Also appears in \u201cSemantic Networks\u201d, ed. F. Lehmann, Pergamon Press, Oxford, pp. 459\u2013476, 1992.","journal-title":"Computers and Mathematics with Applications"},{"key":"145405_CR95","volume-title":"Proceedings CADE 11","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cohn, A. G. and Cui, Z. \u201cComputing transitivity tables: A challenge for automated theorem provers,\u201d Proceedings CADE 11, Springer Verlag, Berlin, 1992."},{"key":"145405_CR96","first-page":"165","volume-title":"Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning","author":"D. A. Randell","year":"1992","unstructured":"Randell, D. A., Cui, Z. and Cohn, A. G. \u201cA spatial logic based on regions and connection,\u201d Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, Morgan Kaufmann, San Mateo, pp. 165\u2013176, 1992."},{"key":"145405_CR97","first-page":"55","volume-title":"Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning","author":"D. Randell","year":"1989","unstructured":"Randell, D. and Cohn, A. Modelling topological and metrical properties of physical processes, in R. Brachman, H. Levesque and R. Reiter (eds), Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, Los Altos, pp. 55\u201366, 1989."},{"key":"145405_CR98","unstructured":"Renz, J. and Nebel, B. On the complexity of qualitative spatial reasoning: a maximal tractable fragment of the Region Connection Calculus, in M. E. Pollak (ed.), Proceedings of IJCAI-97, 1997."},{"key":"145405_CR99","first-page":"523","volume-title":"Qualitative Reasoning and Decision Technologies","author":"C. Schlieder","year":"1993","unstructured":"Schlieder, C. \u201cRepresenting visible locations for qualitative navigation,\u201d in N. P. Carret\u00e9 and M. G. Singh (eds), Qualitative Reasoning and Decision Technologies, CIMNE: Barcelona, pp. 523\u2013532, 1993."},{"key":"145405_CR100","volume-title":"Parts: A Study In Ontology","author":"P. Simons","year":"1987","unstructured":"Simons, P. Parts: A Study In Ontology, Clarendon Press: Oxford 1987."},{"issue":"12","key":"145405_CR101","doi-asserted-by":"crossref","first-page":"1355","DOI":"10.1109\/T-C.1972.223507","volume":"C-21","author":"J. Sklansky","year":"1972","unstructured":"Sklansky, J. \u201cMeasuring concavity on a rectangular mosaic,\u201d IEEE Trans. on Computers, Vol. C-21(12): 1355\u20131364, 1972.","journal-title":"IEEE Trans. on Computers"},{"key":"145405_CR102","volume-title":"Analytic Phenomenology","author":"B. Smith","year":"1994","unstructured":"Smith, B. Ontology and the logistic analysis of reality, in Analytic Phenomenology, G. Haefliger and P.M. Simons, (Eds.), Kluwer Academic Publsihers: The Netherlands, 1994."},{"key":"145405_CR103","unstructured":"Stock, O. (ed.) Temporal and spatial reasoning, Kluwer, 1997."},{"key":"145405_CR104","doi-asserted-by":"crossref","unstructured":"Tarski, A. \u201cDer aussagenkalk\u00fcl und die topologie [sentential calculus and topology],\u201d Fundamenta Mathematicae, Vol. 31: 103\u2013134, 1938. English translation in A. Tarski, Logic, Semantics, Metamathematics, Oxford Clarendon Press, 1956.","DOI":"10.4064\/fm-31-1-103-134"},{"key":"145405_CR105","unstructured":"Tarski, A. Foundations of the geometry of solids, Logic, Semantics, Metamathematics, Oxford Clarendon Press, chapter 2. trans. J.H. Woodger, 1956."},{"key":"145405_CR106","first-page":"16","volume-title":"The Axiomatic Method (with special reference to geometry and physics)","author":"A. Tarski","year":"1959","unstructured":"Tarski, A. \u201cWhat is elementary geometry?\u201d in L. Brouwer, E. Beth and A. Heyting (eds), The Axiomatic Method (with special reference to geometry and physics), North-Holland, Amsterdam, pp. 16\u201329, 1959."},{"key":"145405_CR107","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9868-7","volume-title":"The Logic of Time","author":"J. F. A. K. Van Benthem","year":"1983","unstructured":"Van Benthem, J. F. A. K. The Logic of Time, D. Reidel Publishing Company: Dordrecht, Holland, 1983."},{"key":"145405_CR108","doi-asserted-by":"crossref","first-page":"3","DOI":"10.12775\/LLP.1996.001","volume":"4","author":"A. Varzi","year":"1996","unstructured":"Varzi, A. \u201cReasoning about space: the hole story,\u201d Logic and Logical Philosophy, Vol. 4: 3\u201339, 1996a.","journal-title":"Logic and Logical Philosophy"},{"key":"145405_CR109","series-title":"Lecture Notes in Artificial Intelligence","first-page":"326","volume-title":"Advances in Artificial Intelligence, Proceedings of the 3rd Congress of the Italian Association for Artificial Intelligence","author":"A. Varzi","year":"1996","unstructured":"Varzi, A. \u201cSpatial reasoning in a holey world,\u201d in P. Torasso (ed.), Advances in Artificial Intelligence, Proceedings of the 3rd Congress of the Italian Association for Artificial Intelligence, number 728 in Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin and Heidelberg, 326\u2013336, 1996b."},{"key":"145405_CR110","volume-title":"S\u00e9mantique des relations spatiales et inf\u00e9rences spatio-temporelles","author":"L. Vieu","year":"1991","unstructured":"Vieu, L. S\u00e9mantique des relations spatiales et inf\u00e9rences spatio-temporelles, PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse, 1991."},{"key":"145405_CR111","unstructured":"Vilain, M. and Kautz, H. \u201cConstraint propagation algorithms for temporal reasoning,\u201d Proceedings of the 5th AAAI conference, Philadelphia, 377\u2013382, 1986."},{"key":"145405_CR112","volume-title":"Readings in Qualitative Reasoning About Physical Systems","year":"1990","unstructured":"Weld, D. S. and De Kleer, J. (eds). Readings in Qualitative Reasoning About Physical Systems, Morgan Kaufman: San Mateo, Ca, 1990."},{"key":"145405_CR113","volume-title":"Process and Reality","author":"A. N. Whitehead","year":"1929","unstructured":"Whitehead, A. N. Process and Reality, The MacMillan Company: New York, 1929."},{"key":"145405_CR114","doi-asserted-by":"crossref","unstructured":"Worboys, M. F. and Bofakos, P. \u201cA canonical model for a class of areal spatial objects,\u201d in D. Abel and B. C. Ooi (eds), Advances in Spatial Databases: Third International Symposium, SSD'93, Vol. 692 of Lecture Notes in Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56869-7_3"}],"container-title":["GeoInformatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009712514511.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009712514511\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009712514511.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T20:15:07Z","timestamp":1754424907000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009712514511"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":114,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["145405"],"URL":"https:\/\/doi.org\/10.1023\/a:1009712514511","relation":{},"ISSN":["1384-6175","1573-7624"],"issn-type":[{"value":"1384-6175","type":"print"},{"value":"1573-7624","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}