{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T17:02:37Z","timestamp":1777568557568,"version":"3.51.4"},"reference-count":154,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T00:00:00Z","timestamp":1381968000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[2015,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Representation and reasoning with qualitative spatial relations is an important problem in artificial intelligence and has wide applications in the fields of geographic information system, computer vision, autonomous robot navigation, natural language understanding, spatial databases and so on. The reasons for this interest in using qualitative spatial relations include cognitive comprehensibility, efficiency and computational facility. This paper summarizes progress in qualitative spatial representation by describing key calculi representing different types of spatial relationships. The paper concludes with a discussion of current research and glimpse of future work.<\/jats:p>","DOI":"10.1017\/s0269888913000350","type":"journal-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T05:17:16Z","timestamp":1381987036000},"page":"106-136","source":"Crossref","is-referenced-by-count":76,"title":["A survey of qualitative spatial representations"],"prefix":"10.48130","volume":"30","author":[{"given":"Juan","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony G.","family":"Cohn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dayou","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengsheng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jihong","family":"Ouyang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiangyuan","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2013,10,17]]},"reference":[{"key":"S0269888913000350_ref154","unstructured":"Zlatanova S. 2000. 3D GIS for Urban Development. PhD thesis, The International Institute for Aerospace Survey and Earth Sciences."},{"key":"S0269888913000350_ref127","doi-asserted-by":"crossref","unstructured":"Schockaert S. , Cornelis C. , Cock M. D. , Kerre E. 2006. Fuzzy spatial relations between vague regions. In Proceedings of the 3rd International IEEE Conference on Intelligent Systems, London UK, September 4\u20136. International IEEE Conference Print, 221\u2013226.","DOI":"10.1109\/IS.2006.348421"},{"key":"S0269888913000350_ref146","first-page":"47","article-title":"A new spatial algebra for road network moving objects","volume":"11","author":"Wang","year":"2005","journal-title":"International Journal of Information Technology"},{"key":"S0269888913000350_ref138","doi-asserted-by":"crossref","unstructured":"Vasardani M. , Egenhofer M. J. 2008. Single-holed regions: their relations and inferences. In Proceedings of the Geographic Information Science, 5th International Conference, GIScience 2008, Park City, UT, USA, September 23\u201326. Lecture Notes in Computer Science 5266, 337\u2013353. Springer.","DOI":"10.1007\/978-3-540-87473-7_22"},{"key":"S0269888913000350_ref117","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2002.1019212"},{"key":"S0269888913000350_ref109","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2003.05.008"},{"key":"S0269888913000350_ref132","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.10.010"},{"key":"S0269888913000350_ref101","unstructured":"Moratz R. , Renz J. , Wolter D. 2000. Qualitative spatial reasoning about line segments. In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Horn, W. (ed.). Berlin, Germany, August 20\u201325. IOS Press, 234\u2013238."},{"key":"S0269888913000350_ref118","unstructured":"R\u00f6hrig R. 1994. A theory for qualitative spatial reasoning based on order relations. In Proceedings of the 12th National Conference on Artificial Intelligence, Hayes-Roth, B. & Korf, R. E. (eds). volume 2, Seattle, WA, USA, July 31\u2013August 4. AAAI Press\/The MIT Press, 1418\u20131423."},{"key":"S0269888913000350_ref148","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.004"},{"key":"S0269888913000350_ref85","first-page":"1141","article-title":"Research progress in spatio-temporal reasoning","volume":"15","author":"Liu","year":"2004","journal-title":"Journal of Software"},{"key":"S0269888913000350_ref147","unstructured":"W\u00f6lfl S. , Westphal M. 2009. On combinations of binary qualitative constraint calculi. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Boutilier, C. (ed.). Pasadena, California, USA, July 11\u201317. AAAI Press, 967\u2013973."},{"key":"S0269888913000350_ref123","unstructured":"Schneider M. 2000. Finite resolution crisp and fuzzy spatial objects. In Proceedings of the 9th International Symposium on Spatial Data Handling(SDH), volume 2, Beijing, China, 3\u201317."},{"key":"S0269888913000350_ref96","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2004.05.012"},{"key":"S0269888913000350_ref150","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9671.00130"},{"key":"S0269888913000350_ref110","unstructured":"Pujari A. K. , Kumari G. V. , Sattar A. 1999. $$\\[--&#x003E;&#x003C;$&#x003E;{\\cal I}{\\cal N}{\\cal D}{\\cal U}&#x003C;$&#x003E;&#x003C;!--$$ : An interval and duration network. In Proceedings of the Advanced Topics in Artificial Intelligence, 12th Australian Joint Conference on Artificial Intelligence, AI \u201899, Sydney, Australia, December 6\u201310. Lecture Notes in Computer Science 1747, 291\u2013303. Springer."},{"key":"S0269888913000350_ref112","unstructured":"Randell D. A. , Cui Z. , Cohn A. G. 1992b. A spatial logic based on regions and connection. In Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Nebel, B., Rich, C. & Swartout, W. R. (eds). Cambridge, MA, October 25-29. Morgan Kaufmann, 165\u2013176."},{"key":"S0269888913000350_ref115","unstructured":"Renz J. 2001. A spatial odyssey of the interval algebra: 1. directed intervals. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Nebel, B. (ed.). Washington, USA, August 4\u201310. Morgan Kaufmann, 51\u201356."},{"key":"S0269888913000350_ref122","doi-asserted-by":"publisher","DOI":"10.1145\/2188349.2188350"},{"key":"S0269888913000350_ref124","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(02)00131-3"},{"key":"S0269888913000350_ref89","doi-asserted-by":"crossref","unstructured":"Liu Y. , Wang X. , Jin X. , Wu L. 2005. On internal cardinal direction relations. In Proceedings of the Spatial Information Theory, International Conference, COSIT 2005, Ellicottville, NY, USA, September 14\u201318. Lecture Notes in Computer Science 3693, 283\u2013299. Springer.","DOI":"10.1007\/11556114_18"},{"key":"S0269888913000350_ref145","first-page":"946","article-title":"Approximate spatial relation algebra ASRA and application","volume":"8","author":"Wang","year":"2003","journal-title":"Journal of Image and Graphics"},{"key":"S0269888913000350_ref130","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006322417869"},{"key":"S0269888913000350_ref126","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.10.009"},{"key":"S0269888913000350_ref151","doi-asserted-by":"publisher","DOI":"10.1007\/s005000050032"},{"key":"S0269888913000350_ref141","first-page":"373","volume-title":"Constraint propagation algorithms for temporal reasoning: a revised report","author":"Vilain","year":"1990"},{"key":"S0269888913000350_ref128","doi-asserted-by":"crossref","unstructured":"Scivos A. , Nebel B. 2004. The finest of its class: the natural point-based ternary calculus for qualitative spatial reasoning. In Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11\u201313, Revised Selected Papers. Lecture Notes in Computer Science 3343, 283\u2013303. Springer.","DOI":"10.1007\/978-3-540-32255-9_17"},{"key":"S0269888913000350_ref103","doi-asserted-by":"publisher","DOI":"10.1559\/152304099782330725"},{"key":"S0269888913000350_ref149","first-page":"610","article-title":"An extended egg-yolk model between indeterminate regions","volume":"32","author":"Yu","year":"2004","journal-title":"Acta Eelectronica Sinica"},{"key":"S0269888913000350_ref134","doi-asserted-by":"publisher","DOI":"10.1080\/13875868.2003.9683758"},{"key":"S0269888913000350_ref105","unstructured":"Navarrete I. , Sciavicco G. 2006. Spatial reasoning with rectangular cardinal direction relations. In ECAI 2006, 17th European Conference on Artificial Intelligence, Workshop on Spatialand Temporal Reasoning, Riva del Garda, Italy, August 29\u2013September 1, 1\u201310."},{"key":"S0269888913000350_ref114","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00002-8"},{"key":"S0269888913000350_ref88","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.05.006"},{"key":"S0269888913000350_ref106","first-page":"413","article-title":"Improved method of qualitative shape representation for sameside distinction of concavities","volume":"39","author":"Ouyang","year":"2009b.","journal-title":"Journal of Jilin University (Engineering and Technology Edition)"},{"key":"S0269888913000350_ref94","first-page":"329","article-title":"On countable RCC models","volume":"65","author":"Li","year":"2005","journal-title":"Fundamenta Informaticae"},{"key":"S0269888913000350_ref137","doi-asserted-by":"publisher","DOI":"10.2307\/2268577"},{"key":"S0269888913000350_ref125","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2007.10.002"},{"key":"S0269888913000350_ref80","doi-asserted-by":"publisher","DOI":"10.1145\/176584.176585"},{"key":"S0269888913000350_ref34","doi-asserted-by":"crossref","unstructured":"Condotta J.-F. , Saade M. , Ligozat G. 2006. A generic toolkit for n-ary qualitative temporal and spatial calculi. In Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), Budapest, Hungary, June 15\u201317. IEEE Computer Society, 78\u201386.","DOI":"10.1109\/TIME.2006.2"},{"key":"S0269888913000350_ref3","unstructured":"Balbiani P. , Condotta J.-F. , del Cerro L. F. 1999a. A new tractable subclass of the rectangle algebra. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Dean, T. (ed.). Stockholm, Sweden, July 31\u2013August 6. Morgan Kaufmann, 442\u2013447."},{"key":"S0269888913000350_ref45","doi-asserted-by":"crossref","unstructured":"Du S. , Qin Q. , Wang Q. , Ma H. 2006. Description of combined spatial relations between broad boundary regions based on rough set. In Proceedings of the Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2006, 7th International Conference, Burgos, Spain, September 20\u201323. Lecture Notes in Computer Science 4224, 729\u2013737. Springer.","DOI":"10.1007\/11875581_88"},{"key":"S0269888913000350_ref77","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00044-8"},{"key":"S0269888913000350_ref44","doi-asserted-by":"crossref","unstructured":"Du S. , Qin Q. , Wang Q. , Li B. 2005. Fuzzy description of topological relations I: a unified fuzzy 9-intersection model. In Proceedings of the Advances in Natural Computation, First International Conference, ICNC 2005, Part III, Changsha, China, August 27\u201329. Lecture Notes in Computer Science 3612, 1261\u20131273. Springer.","DOI":"10.1007\/11539902_161"},{"key":"S0269888913000350_ref83","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90039-2"},{"key":"S0269888913000350_ref69","doi-asserted-by":"publisher","DOI":"10.5840\/monist19967913"},{"key":"S0269888913000350_ref79","doi-asserted-by":"crossref","unstructured":"Kurata Y. 2008. The 9+-intersection: a universal framework for modeling topological relations. In Proceedings of the Geographic Information Science, 5th International Conference, GIScience 2008, Park City, UT, USA, September 23\u201326. Lecture Notes in Computer Science 5266, 181\u2013198. Springer.","DOI":"10.1007\/978-3-540-87473-7_12"},{"key":"S0269888913000350_ref63","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00193-5"},{"key":"S0269888913000350_ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009712514511"},{"key":"S0269888913000350_ref78","unstructured":"Isli A. , Haarslev V. , M\u00f6ller R. 2003. Combining cardinal direction relations and relative orientation relations in qualitative spatial reasoning. Technical report, University of Hamburg, Department of Informatics."},{"key":"S0269888913000350_ref52","unstructured":"Egenhofer M. J. , Mark D. M. , Herring J. 1994b. The 9-intersection: formalism and its use for natural-language spatial predicates. Technical report, National Center for Geographic Information and Analysis."},{"key":"S0269888913000350_ref50","doi-asserted-by":"publisher","DOI":"10.1080\/02693799508902030"},{"key":"S0269888913000350_ref152","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117601"},{"key":"S0269888913000350_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.06.002"},{"key":"S0269888913000350_ref29","unstructured":"Cohn A. G. , Gotts N. M. 1996. The \u2018egg-yolk\u2019 representation of regions with indeterminate boundaries. In Proceedings GISDATA Specialist Meeting on Spatial Objects with Undetermined Boundaries, Burrough, P. & Frank, A. M. (eds). Francis & Taylor, 171\u2013187."},{"key":"S0269888913000350_ref33","doi-asserted-by":"crossref","unstructured":"Cohn A. G. 1997. Qualitative spatial representation and reasoning techniques. In Proceedings of the KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9\u201312. Lecture Notes in Computer Science 1303, 1\u201330. Springer.","DOI":"10.1007\/3540634932_1"},{"key":"S0269888913000350_ref15","first-page":"2","article-title":"Composing cardinal direction relations based on interval algebra","volume":"4","author":"Chen","year":"2010b.","journal-title":"International Journal of Software and Informatics"},{"key":"S0269888913000350_ref14","volume-title":"Symbolic Projection for Image Information Retrieval and Spatial Reasoning","author":"Chang","year":"1996"},{"key":"S0269888913000350_ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.102"},{"key":"S0269888913000350_ref10","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015291525685"},{"key":"S0269888913000350_ref92","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl086"},{"key":"S0269888913000350_ref116","doi-asserted-by":"crossref","unstructured":"Renz J. 2002. Qualitative Spatial Reasoning with Topological Information, Lecture Notes in Computer Science 2293. Springer. ISBN 3-540-43346-5.","DOI":"10.1007\/3-540-70736-0"},{"key":"S0269888913000350_ref82","doi-asserted-by":"publisher","DOI":"10.1016\/0031-3203(90)90004-5"},{"key":"S0269888913000350_ref51","unstructured":"Egenhofer M. J. , Herring J. 1991. Categorizing Binary Topological Relationships between Regions, Lines and Points in Geographic Database. Technical report, University of Maine."},{"key":"S0269888913000350_ref43","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2008.03.009"},{"key":"S0269888913000350_ref90","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.2012.00431.x"},{"key":"S0269888913000350_ref53","unstructured":"Egenhofer M. J. , Sharma J. 1993. Topological relations between regions in $$\\[--&#x003E;&#x003C;$&#x003E;{{{\\Bbb R}}^{\\rm{2}}} &#x003C;$&#x003E;&#x003C;!--$$ and $$\\[--&#x003E;&#x003C;$&#x003E;{{{\\Bbb Z}}^{\\rm{2}}} &#x003C;$&#x003E;&#x003C;!--$$ . In Proceedings of the Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23\u201325. Lecture Notes in Computer Science 692, 316\u2013336. Springer."},{"key":"S0269888913000350_ref98","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-006-6847-9"},{"key":"S0269888913000350_ref93","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.08.003"},{"key":"S0269888913000350_ref73","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2009.01.012"},{"key":"S0269888913000350_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2003.05.008"},{"key":"S0269888913000350_ref81","volume-title":"The Foundations of Cognitive Grammar: volume I: Theoretical Prerequisites, Foundations of Cognitive Grammar","author":"Langacker","year":"1987"},{"key":"S0269888913000350_ref100","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2006.11.001"},{"key":"S0269888913000350_ref143","unstructured":"Wallgr\u00fcn J. O. , Frommberger L. , Dylla F. , Wolter D. 2010. Sparq user manual v0.7. Technical report, SFB\/TR 8 spatial Cognition- Project R3-[Q-Shape]."},{"key":"S0269888913000350_ref139","doi-asserted-by":"crossref","unstructured":"Vasardani M. , Egenhofer M. J. 2009. Comparing relations with a multi-holed region. In Proceedings of the Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21\u201325. Lecture Notes in Computer Science 5756, 159\u2013176. Springer.","DOI":"10.1007\/978-3-642-03832-7_10"},{"key":"S0269888913000350_ref113","doi-asserted-by":"crossref","unstructured":"Renz J. , Ligozat G. 2005. Weak composition for qualitative spatial and temporal reasoning. In Proceedings of the Principles and Practice of Constraint Programming \u2013 CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1\u20135, 2005, Lecture Notes in Computer Science 3709, 534\u2013548. Springer.","DOI":"10.1007\/11564751_40"},{"key":"S0269888913000350_ref76","doi-asserted-by":"publisher","DOI":"10.1037\/0033-295X.98.3.352"},{"key":"S0269888913000350_ref39","unstructured":"de Weghe N. V. , Cohn A. G. , Maeyer P. D. 2004. A qualitative representation of trajectory pairs. In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, de M\u00e1ntaras, R. L. & Saitta, L. (eds). Valencia, Spain, August 22\u201327. IOS Press, 1103\u20131104."},{"key":"S0269888913000350_ref97","doi-asserted-by":"publisher","DOI":"10.1080\/13658810600661383"},{"key":"S0269888913000350_ref136","unstructured":"Stocker M. , Sirin E. 2009. PelletSpatial: a hybrid RCC-8 and RDF\/OWL reasoning and query engine. In Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23\u201324. CEUR Workshop Proceedings 529. CEUR-WS.org."},{"key":"S0269888913000350_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(96)00127-2"},{"key":"S0269888913000350_ref87","unstructured":"Liu W. , Li S. , Renz J. 2009. Combining RCC-8 with qualitative direction calculi: algorithms and complexity. In IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Boutilier, C. (ed.). Pasadena, California, USA, July 11\u201317. AAAI Press, 854\u2013859."},{"key":"S0269888913000350_ref142","unstructured":"Waldinger R. , Jarvis P. , Dungan J. 2003. Using deduction to choreograph multiple data sources. In Proceedings of the Semantic Web \u2013 ISWC 2003: Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20\u201323. Lecture Notes of Computer Science 2870. Springer."},{"key":"S0269888913000350_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2005.06.022"},{"key":"S0269888913000350_ref84","doi-asserted-by":"crossref","unstructured":"Ligozat G. 1993. Qualitative triangulation for spatial reasoning. In Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT \u201893, Marciana Marina, Elba Island, Italy, September 19\u201322. Lecture Notes in Computer Science 716, 54\u201368. Springer.","DOI":"10.1007\/3-540-57207-4_5"},{"key":"S0269888913000350_ref108","unstructured":"Pacheco J. , Escrig M. T. , Toledo F. 2002. Integrating 3D orientation models. In Proceedings of the Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castell\u00f3n, Spain, October 24\u201325. Lecture Notes in Computer Science 2504, 88\u2013100. Springer."},{"key":"S0269888913000350_ref58","doi-asserted-by":"crossref","unstructured":"Frank A. U. 1991. Qualitative spatial reasoning with cardinal directions. In Proceedings of the 7th Austrian Conference on Artificial Intelligence, \u00d6GAI-91, Wien, September 24\u201327. Informatik-Fachberichte 287, 157\u2013167. Springer.","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"S0269888913000350_ref55","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/11496168_2","article-title":"Spherical topological relations","volume":"3","author":"Egenhofer","year":"2005","journal-title":"Journal on Data Semantics"},{"key":"S0269888913000350_ref119","doi-asserted-by":"crossref","unstructured":"R\u00f6hrig R. 1997. Representation and processing of qualitative orientation knowledge. In KI-97: Advances in Artificial Intelligence, Proceedings of 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9\u201312. Lecture Notes in Computer Science 1303, 219\u2013230. Springer.","DOI":"10.1007\/3540634932_17"},{"key":"S0269888913000350_ref30","first-page":"1","article-title":"Qualitative spatial representation and reasoning: an overview","volume":"46","author":"Cohn","year":"2001","journal-title":"Fundamenta Informaticae"},{"key":"S0269888913000350_ref133","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2007.1046"},{"key":"S0269888913000350_ref99","unstructured":"Li S. 2007. Combining topological and directional information for spatial reasoning. In IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Veloso, M. M. (ed.). Hyderabad, India, January 6\u201312. Morgan Kaufmann, 435\u2013440."},{"key":"S0269888913000350_ref120","doi-asserted-by":"publisher","DOI":"10.1016\/S0888-613X(01)00033-0"},{"key":"S0269888913000350_ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2007.05.002"},{"key":"S0269888913000350_ref75","unstructured":"Hobbs J. R. 1985. Granularity. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, Joshi, A. K. (ed.). Los Angeles, CA, August. Morgan Kaufmann, 432\u2013435."},{"key":"S0269888913000350_ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2009.79"},{"key":"S0269888913000350_ref56","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2004.03.004"},{"key":"S0269888913000350_ref9","doi-asserted-by":"crossref","unstructured":"Bittner T. , Stell J. G. 2000. Rough sets in approximate spatial reasoning. In Rough Sets and Current Trends in Computing, Second International Conference, RSCTC 2000 Banff, Canada, October 16\u201319. Lecture Notes in Computer Science 2005, 445\u2013453. Springer.","DOI":"10.1007\/3-540-45554-X_55"},{"key":"S0269888913000350_ref60","doi-asserted-by":"crossref","unstructured":"Freksa C. 1992. Using orientation information for qualitative spatial reasoning. In Proceedings of the Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, International Conference GIS \u2013 From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 21\u201323. Lecture Notes in Computer Science 639, 162\u2013178. Springer.","DOI":"10.1007\/3-540-55966-3_10"},{"key":"S0269888913000350_ref6","first-page":"45","volume-title":"Research Monographs in GIS","author":"B\u00e9dard","year":"2001"},{"key":"S0269888913000350_ref4","doi-asserted-by":"crossref","unstructured":"Balbiani P. , Condotta J.-F. , del Cerro L. F. 1999b. A tractable subclass of the block algebra: constraint propagation and preconvex relations. In Proceedings of the Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA \u201899, \u00c9vora, Portugal, September 21\u201324. Lecture Notes in Computer Science 1695, 75\u201389. Springer.","DOI":"10.1007\/3-540-48159-1_6"},{"key":"S0269888913000350_ref91","doi-asserted-by":"crossref","unstructured":"Li S. , Liu W. 2010. Topological relations between convex regions. In Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Fox, M. & Poole, D. (eds). Atlanta, Georgia, USA, July 11\u201315. AAAI Press, 321\u2013326.","DOI":"10.1609\/aaai.v24i1.7586"},{"key":"S0269888913000350_ref140","first-page":"5","volume-title":"Spatial Representation and Reasoning in Artificial Intelligence","author":"Vieu","year":"1997"},{"key":"S0269888913000350_ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.cviu.2007.05.002"},{"key":"S0269888913000350_ref27","doi-asserted-by":"crossref","unstructured":"Clementini E. 2008. Projective relations on the sphere. In Proceedings of Advances in Conceptual Modeling \u2013 Challenges and Opportunities, ER 2008 Workshops CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM, Barcelona Spain, October 20\u201323. Lecture Notes in Computer Science 5232, 313\u2013322. Springer.","DOI":"10.1007\/978-3-540-87991-6_38"},{"key":"S0269888913000350_ref11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015899702951"},{"key":"S0269888913000350_ref31","unstructured":"Cohn A. G. , Renz J. 2007. Qualitative spatial reasoning. In Handbook of Knowledge Representation (Foundations of Artificial Intelligence), van Harmelen, F., Lifschitz, V. & Porter, B. (eds). chapter 13. Elsevier, 551\u2013596."},{"key":"S0269888913000350_ref107","first-page":"18","article-title":"A model for representing and reasoning of spatial relations between simple concave regions","volume":"37","author":"Ouyang","year":"2009a.","journal-title":"Acta Electronica Sinica"},{"key":"S0269888913000350_ref35","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026401931919"},{"key":"S0269888913000350_ref71","doi-asserted-by":"crossref","unstructured":"Goyal R. K. , Egenhofer M. J. 2001. Similarity of cardinal directions. In Proceedings of the Advances in Spatial and Temporal Databases, 7th International Symposium, SSTD 2001, Redondo Beach, CA, USA, July 12\u201315. Lecture Notes in Computer Science 2121, 36\u201358. Springer.","DOI":"10.1007\/3-540-47724-1_3"},{"key":"S0269888913000350_ref47","unstructured":"Dylla F. , Frommberger L. , Wallgr\u00fcn J. O. , Wolter D. 2006. SparQ: a toolbox for qualitative spatial representation and reasoning. In Proceedings of the Workshop on Qualitative Constraint Calculi: Application and Integration at KI 2006, Bremen, Germany, 79\u201390."},{"key":"S0269888913000350_ref102","unstructured":"Moratz R. 2006. Representing relative direction as a binary relation of oriented points. In Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29\u2013September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Frontiers in Artificial Intelligence and Applications. IOS Press, 407\u2013411."},{"key":"S0269888913000350_ref32","doi-asserted-by":"crossref","unstructured":"Cohn A. G. 1995. A hierarchical representation of qualitative shape based on connection and convexity. In Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT \u201895, Semmering, Austria, September 21\u201323. Leecture Notes in Computer Science 988, 311\u2013326. Springer.","DOI":"10.1007\/3-540-60392-1_20"},{"key":"S0269888913000350_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S0269888913000350_ref153","doi-asserted-by":"crossref","unstructured":"Zimmermann K. 1993. Enhancing qualitative spatial reasoning \u2013 combining orientation and distance. In Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, International Conference COSIT \u201893, Marciana Marina, Elba Island, Italy, September 19\u201322. Lecture Notes in Computer Science 716, 69\u201376. Springer.","DOI":"10.1007\/3-540-57207-4_6"},{"key":"S0269888913000350_ref121","doi-asserted-by":"publisher","DOI":"10.1145\/1132863.1132865"},{"key":"S0269888913000350_ref72","unstructured":"Grenon P. 2003. Tucking RCC in Cyc's ontological bed. In IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Gottlob, G. & Walsh, T. (eds). Acapulco, Mexico, August 9\u201315. Morgan Kaufmann, 894\u2013899."},{"key":"S0269888913000350_ref61","unstructured":"Galton A. , Meathrel R. C. 1999. Qualitative outline theory. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Dean, T. (ed.). Stockholm, Sweden, July 31\u2013August 6. Morgan Kaufmann, 1061\u20131066."},{"key":"S0269888913000350_ref19","doi-asserted-by":"crossref","unstructured":"Cicerone S. , Felice P. D. 2000. Cardinal relations between regions with a broad boundary. In ACM-GIS 2000, Proceedings of the Eighth ACM Symposium on Advances in Geographic Information Systems, Li, K-J., Makki, K., Pissinou, N. & Ravada, S. (eds). Washington D.C., USA, November 10\u201311. ACM, 15\u201320.","DOI":"10.1145\/355274.355539"},{"key":"S0269888913000350_ref8","doi-asserted-by":"crossref","unstructured":"Bittner T. , Smith B. 2001. Granular partitions and vagueness. In Proceedings of the 2nd International Conference on Formal Ontology in Information Systems(FOIS 2001), Welty, C. & Smith, B. (eds). Ogunquit, Maine, USA, October 17\u201319. ACM Press, 309\u2013320.","DOI":"10.1145\/505168.505197"},{"key":"S0269888913000350_ref129","unstructured":"Sirin E. , Parsia B. 2004. Pellet: an OWL DL reasoner. In Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6\u20138. CEUR Workshop Proceedings 104. CEUR-WS.org."},{"key":"S0269888913000350_ref18","doi-asserted-by":"publisher","DOI":"10.1080\/13658810151072831"},{"key":"S0269888913000350_ref54","doi-asserted-by":"crossref","unstructured":"Egenhofer M. J. , Vasardani M. 2007. Spatial reasoning with a hole. In Proceedings of the Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 19\u201323. Lecture Notes in Computer Science 4736, 303\u2013320. Springer.","DOI":"10.1007\/978-3-540-74788-8_19"},{"key":"S0269888913000350_ref57","doi-asserted-by":"publisher","DOI":"10.3758\/BF03197242"},{"key":"S0269888913000350_ref86","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00069-6"},{"key":"S0269888913000350_ref62","unstructured":"Gantner Z. , Westphal M. , W\u00f6lfl S. 2008. GQR \u2013 a fast reasoner for binary qualitative constraint calculi. In Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, Chicago, Illinois, USA, July 13\u201314. AAAI Press, 24\u201329."},{"key":"S0269888913000350_ref144","doi-asserted-by":"crossref","unstructured":"Wallgr\u00fcn J. O. , Frommberger L. , Wolter D. , Dylla F. , Freksa C. 2006. Qualitative spatial representation and reasoning in the sparq-toolbox. In Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Bremen, Germany, September 24\u201328, Revised Selected Papers, Lecture Notes in Computer Science 4387, 39\u201358. Springer.","DOI":"10.1007\/978-3-540-75666-8_3"},{"key":"S0269888913000350_ref64","doi-asserted-by":"crossref","unstructured":"Gottfried B. 2003b. Tripartite line tracks qualitative curvature information. In Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, International Conference, COSIT 2003, Ittingen, Switzerland, September 24\u201328. Lecture Notes in Computer Science 2825, 101\u2013117. Springer.","DOI":"10.1007\/978-3-540-39923-0_8"},{"key":"S0269888913000350_ref16","first-page":"426","article-title":"Integrative reasoning with topological, directional and size information based on MBR","volume":"47","author":"Chen","year":"2010c.","journal-title":"Journal of Computer Research and Development"},{"key":"S0269888913000350_ref12","doi-asserted-by":"crossref","unstructured":"Bogaert P. , de Weghe N. V. , Cohn A. G. , Witlox F. , Maeyer P. D. 2006. The qualitative trajectory calculus on networks. In Spatial Cognition V: Reasoning, Action, Interaction, International Conference Spatial Cognition 2006, Bremen, Germany, September 24\u201328, Revised Selected Papers. Lecture Notes in Computer Science 4387, 20\u201338. Springer.","DOI":"10.1007\/978-3-540-75666-8_2"},{"key":"S0269888913000350_ref59","doi-asserted-by":"publisher","DOI":"10.1080\/02693799608902079"},{"key":"S0269888913000350_ref49","doi-asserted-by":"publisher","DOI":"10.1080\/02693799108927841"},{"key":"S0269888913000350_ref66","doi-asserted-by":"crossref","unstructured":"Gottfried B. 2004. Reasoning about intervals in two dimensions. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics, The Hague, Netherlands, October 10\u201313. IEEE, 5324\u20135332.","DOI":"10.1109\/ICSMC.2004.1401040"},{"key":"S0269888913000350_ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2010.10.042"},{"key":"S0269888913000350_ref95","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00372-7"},{"key":"S0269888913000350_ref131","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00137-1"},{"key":"S0269888913000350_ref2","unstructured":"Balbiani P. , Condotta J.-F. , del Cerro L. F. 1998. A model for reasoning about bidemensional temporal relations. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Cohn, A. G., Schubert, L. K. & Shapiro, S. C. (eds). Trento, Italy, June 2\u20135. Morgan Kaufmann, 124\u2013130."},{"key":"S0269888913000350_ref135","unstructured":"Stickel M. E. , Waldinger R. J. , Chaudhri V. K. 2000. A guide to SNARK. Technical report, AI Center, SRI International."},{"key":"S0269888913000350_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-023X(01)00010-6"},{"key":"S0269888913000350_ref65","doi-asserted-by":"crossref","unstructured":"Gottfried B. 2003a. Tripartite line tracks \u2013 bipartite line tracks. In Proceedings of the KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15\u201318. Lecture Notes in Computer Science 2821, 535\u2013549. Springer.","DOI":"10.1007\/978-3-540-39451-8_39"},{"key":"S0269888913000350_ref41","first-page":"329","article-title":"A MBR-based modeling method for direction relations between indeterminate regions","volume":"39","author":"Dong","year":"2011","journal-title":"Acta Eelectronica Sinica"},{"key":"S0269888913000350_ref111","doi-asserted-by":"crossref","unstructured":"Randell D. A. , Cohn A. G. , Cui Z. 1992a. Computing transivity tables: a challenge for automated theorem provers. In Proceedings of the Automated Deduction \u2013 CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15\u201318. Lecture Notes in Computer Science 607, 786\u2013790. Springer.","DOI":"10.1007\/3-540-55602-8_225"},{"key":"S0269888913000350_ref70","doi-asserted-by":"crossref","unstructured":"Goyal R. K. , Egenhofer M. J. 2000. Consistent queries over cardinal directions across different levels of detail. In Proceedings of 11th International Workshop on Database and Expert Systems Applications (DEXA'00), Ibrahim, M. T., K\u00fcng, J. & Revell, N. (eds). 6\u20138 September, Greenwich, London, UK. IEEE Computer Society, 876\u2013880.","DOI":"10.1109\/DEXA.2000.875129"},{"key":"S0269888913000350_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1987.4767923"},{"key":"S0269888913000350_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2007.11.027"},{"key":"S0269888913000350_ref40","doi-asserted-by":"crossref","unstructured":"de Weghe N. V. , Kuijpers B. , Bogaert P. , Maeyer P. D. 2005b. A qualitative trajectory calculus and the composition of its relations. In Proceedings of the GeoSpatial Semantics, First International Conference, GeoS 2005, Mexico, November 29\u201330. Lecture Notes in Computer Science 3799, 60\u201376. Springer.","DOI":"10.1007\/11586180_5"},{"key":"S0269888913000350_ref48","doi-asserted-by":"publisher","DOI":"10.1080\/02693799408901990"},{"key":"S0269888913000350_ref74","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.4.547"},{"key":"S0269888913000350_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00156-5"},{"key":"S0269888913000350_ref17","doi-asserted-by":"crossref","unstructured":"Chen J. , Jia H. , Liu D. , Zhang C. 2010a. Inversing cardinal direction relations. In Proceedings of 5th International Conference on Frontier of Computer Science and Technology (FCST 2010), Stojmenovic, I., Farin, G., Guo, M., Jin, H., Li, K., Hu, L., Wei, X. & Che, X. (eds). Changchun, Jilin Province, China, August 18\u201322. IEEE Computer Society, 276\u2013281.","DOI":"10.1109\/FCST.2010.50"},{"key":"S0269888913000350_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(97)00046-5"},{"key":"S0269888913000350_ref23","doi-asserted-by":"crossref","unstructured":"Clementini E. , Felice P. D. , van Oosterom P. 1993. A small set of formal topological relationships suitable for end-user interaction. In Proceedings of the Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23\u201325. Lecture Notes in Computer Science 692, 277\u2013295. Springer.","DOI":"10.1007\/3-540-56869-7_16"},{"key":"S0269888913000350_ref67","doi-asserted-by":"crossref","unstructured":"Gottfried B. 2006. Characterising meanders qualitatively. In Geographic Information Science, Proceedings of 4th International Conference, GIScience 2006, M\u00fcnster, Germany, September 20\u201323. Lecture Notes in Computer Science 4197, 112\u2013127. Springer.","DOI":"10.1007\/11863939_8"},{"key":"S0269888913000350_ref104","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2011.10.003"},{"key":"S0269888913000350_ref7","unstructured":"Bennett B. , Isli A. , Cohn A. G. 1997. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? In Proceedings of the IJCAI97 Workshop on Spatial and Temporal Reasoning, NAGOYA, Aichi, Japan, 1\u201318."}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888913000350","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:41:59Z","timestamp":1767624119000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888913000350\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10,17]]},"references-count":154,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["S0269888913000350"],"URL":"https:\/\/doi.org\/10.1017\/s0269888913000350","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"value":"0269-8889","type":"print"},{"value":"1469-8005","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,17]]}}}