{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:41:43Z","timestamp":1740109303394,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,8,6]],"date-time":"2016-08-06T00:00:00Z","timestamp":1470441600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Knowl Inf Syst"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s10115-016-0975-3","type":"journal-article","created":{"date-parts":[[2016,8,6]],"date-time":"2016-08-06T04:52:47Z","timestamp":1470459167000},"page":"311-338","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A formal framework to represent spatial knowledge"],"prefix":"10.1007","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2327-9393","authenticated-orcid":false,"given":"Giuseppe","family":"Della\u00a0Penna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Orefice","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"975_CR1","doi-asserted-by":"publisher","unstructured":"Allen JF Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843. doi: 10.1145\/182.358434","DOI":"10.1145\/182.358434"},{"key":"975_CR2","unstructured":"Apache.org (2015) Apache commons scxml. http:\/\/commons.apache.org\/proper\/commons-scxml"},{"key":"975_CR3","unstructured":"Balbiani P, Condotta J, del Cerro LF (1998) A model for reasoning about bidemsional temporal relations. In: Proceedings of the sixth international conference on principles of knowledge representation and reasoning (KR\u201998), Trento, Italy, 2\u20135 June 1998, pp 124\u2013130"},{"key":"975_CR4","doi-asserted-by":"crossref","unstructured":"Chen J, Cohn AG, Liu D, Wang S, Ouyang J, Yu Q (2015) A survey of qualitative spatial representations. Knowl Eng Rev 30:106\u2013136. http:\/\/journals.cambridge.org\/article_S0269888913000350","DOI":"10.1017\/S0269888913000350"},{"issue":"2","key":"975_CR5","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(97)00046-5","volume":"95","author":"E Clementini","year":"1997","unstructured":"Clementini E, Di Felice P, Hern\u00e1ndez D (1997) Qualitative representation of positional information. Artif Intell 95(2):317\u2013356. doi: 10.1016\/S0004-3702(97)00046-5","journal-title":"Artif Intell"},{"key":"975_CR6","doi-asserted-by":"crossref","unstructured":"Clementini E, Felice PD, Oosterom PV (1993) A small set of formal topological relationships suitable for end-user interaction. In: Proceedings of the third international symposium on advances in spatial databases, SSD \u201993, Springer, London, pp 277\u2013295. http:\/\/dl.acm.org\/citation.cfm?id=647223.718898","DOI":"10.1007\/3-540-56869-7_16"},{"key":"975_CR7","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1613\/jair.4513","volume":"51","author":"AG Cohn","year":"2014","unstructured":"Cohn AG, Li S, Liu W, Renz J (2014) Reasoning about topological and cardinal direction relations between 2-dimensional spatial objects. J Artif Intell Res (JAIR) 51:493\u2013532. doi: 10.1613\/jair.4513","journal-title":"J Artif Intell Res (JAIR)"},{"issue":"5\u20136","key":"975_CR8","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1006\/ijhc.1995.1077","volume":"43","author":"AG Cohn","year":"1995","unstructured":"Cohn AG, Randell DA, Cui Z (1995) Taxonomies of logically defined qualitative spatial relations. Int J Hum Comput Stud 43(5\u20136):831\u2013846. doi: 10.1006\/ijhc.1995.1077","journal-title":"Int J Hum Comput Stud"},{"issue":"3","key":"975_CR9","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1007\/s10115-011-0394-4","volume":"30","author":"G Della Penna","year":"2012","unstructured":"Della Penna G, Magazzeni D, Orefice S (2012) A spatial relation-based framework to perform visual information extraction. Knowl Inf Syst 30(3):667\u2013692. doi: 10.1007\/s10115-011-0394-4","journal-title":"Knowl Inf Syst"},{"key":"975_CR10","unstructured":"Devlin P (2007) Brachytherapy: applications and techniques. Lippincott Williams & Wilkins, Philadelphia"},{"key":"975_CR11","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.knosys.2012.03.002","volume":"33","author":"Y Du","year":"2012","unstructured":"Du Y, Liang F, Sun Y (2012) Integrating spatial relations into case-based reasoning to solve geographic problems. Knowl Based Syst 33:111\u2013123","journal-title":"Knowl Based Syst"},{"key":"975_CR12","doi-asserted-by":"publisher","unstructured":"Dube MP, Egenhofer MJ ( 2014) Partitions to improve spatial reasoning. In: Proceedings of the 1st ACM SIGSPATIAL PhD workshop, SIGSPATIAL PhD \u201914, ACM, New York, NY, USA, pp 1:1\u20131:5. doi: 10.1145\/2694859.2694864","DOI":"10.1145\/2694859.2694864"},{"issue":"2","key":"975_CR13","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1080\/02693799108927841","volume":"5","author":"MJ Egenhofer","year":"1991","unstructured":"Egenhofer MJ, Franzosa RD (1991) Point set topological relations. Int J Geogr Inf Syst 5(2):161\u2013174. doi: 10.1080\/02693799108927841","journal-title":"Int J Geogr Inf Syst"},{"key":"975_CR14","unstructured":"Egenhofer MJ, Mark DM, Herring J ( 1994) The 9-intersection: formalism and its use for natural-language spatial predicates. Technical Report 94-1, National Center for Geographic Information and Analysis"},{"issue":"3","key":"975_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0020-0255(71)80008-7","volume":"3","author":"J Feder","year":"1971","unstructured":"Feder J (1971) Plex languages. Inf Sci 3(3):225\u2013241. doi: 10.1016\/S0020-0255(71)80008-7","journal-title":"Inf Sci"},{"key":"975_CR16","doi-asserted-by":"crossref","unstructured":"Frank AU (1991) Qualitative spatial reasoning with cardinal directions. In: Proceedings 7th Austrian conference on artificial intelligence, \u00d6GAI-91, Wien, 24\u201327 Sept 1991, pp 157\u2013167","DOI":"10.1007\/978-3-642-46752-3_17"},{"key":"975_CR17","doi-asserted-by":"publisher","unstructured":"Freksa C (1992) Using orientation information for qualitative spatial reasoning. In: Theories and methods of spatio-temporal reasoning in geographic space, Proceedings of international conference GIS - from space to territory: Theories and methods of spatio-temporal reasoning, Pisa, Italy, 21\u201323 Sept 1992, pp 162\u2013178. doi: 10.1007\/3-540-55966-3_10","DOI":"10.1007\/3-540-55966-3_10"},{"key":"975_CR18","doi-asserted-by":"publisher","unstructured":"Fuccella V, Costagliola G (2015) Unistroke gesture recognition through polyline approximation and alignment. In: Proceedings of the 33rd annual ACM conference on human factors in computing systems, CHI 2015, Seoul, Republic of Korea, 18\u201323 April 2015, pp 3351\u20133354. doi: 10.1145\/2702123.2702505","DOI":"10.1145\/2702123.2702505"},{"key":"975_CR19","doi-asserted-by":"publisher","unstructured":"Goyal R, Egenhofer M (2001) Similarity of cardinal directions. In: Jensen C, Schneider M, Seeger B, Tsotras V (eds) Advances in spatial and temporal databases, vol 2121, lecture notes in computer science. Springer, Berlin, pp 36\u201355. doi: 10.1007\/3-540-47724-1_3","DOI":"10.1007\/3-540-47724-1_3"},{"key":"975_CR20","doi-asserted-by":"publisher","unstructured":"Hern\u00e1ndez D, Clementini E, Felice PD ( 1995) Qualitative distances. In: COSIT, pp 45\u201357. doi: 10.1007\/3-540-60392-1_4","DOI":"10.1007\/3-540-60392-1_4"},{"issue":"2","key":"975_CR21","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/1165734.1165739","volume":"13","author":"J Kong","year":"2006","unstructured":"Kong J, Zhang K, Zeng X (2006) Spatial graph grammars for graphical user interfaces. ACM Trans Comput Hum Interact 13(2):268\u2013307. doi: 10.1145\/1165734.1165739","journal-title":"ACM Trans Comput Hum Interact"},{"issue":"3\u20133","key":"975_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1155\/2013\/205261","volume":"3","author":"A-L Kor","year":"2013","unstructured":"Kor A-L, Bennett B (2013) A hybrid reasoning model for \u201cwhole and part\u201d cardinal direction relations. Adv Artif Intell 3(3\u20133):3. doi: 10.1155\/2013\/205261","journal-title":"Adv Artif Intell"},{"key":"975_CR23","doi-asserted-by":"publisher","unstructured":"Krantz S (1999) Handbook of complex variables. Birkh\u00e4user Basel, Boston. doi: 10.1007\/978-1-4612-1588-2","DOI":"10.1007\/978-1-4612-1588-2"},{"key":"975_CR24","doi-asserted-by":"publisher","unstructured":"Kunze L, Doreswamy KK, Hawes N (2014) Using qualitative spatial relations for indirect object search. In: 2014 IEEE international conference on robotics and automation, ICRA 2014, Hong Kong, China, May 31\u2013June 7, 2014, pp 163\u2013168. doi: 10.1109\/ICRA.2014.6906604","DOI":"10.1109\/ICRA.2014.6906604"},{"issue":"4","key":"975_CR25","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1111\/j.1467-8640.2012.00431.x","volume":"28","author":"S Li","year":"2012","unstructured":"Li S, Cohn AG (2012) Reasoning with topological and directional spatial information. Comput Intell 28(4):579\u2013616. doi: 10.1111\/j.1467-8640.2012.00431.x","journal-title":"Comput Intell"},{"issue":"2","key":"975_CR26","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1080\/13658816.2014.954580","volume":"29","author":"S Li","year":"2015","unstructured":"Li S, Liu W (2015) Cardinal directions: a comparison of direction relation matrix and objects interaction matrix. Int J Geogr Inf Sci 29(2):194\u2013216. doi: 10.1080\/13658816.2014.954580","journal-title":"Int J Geogr Inf Sci"},{"issue":"C","key":"975_CR27","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.artint.2015.03.010","volume":"225","author":"S Li","year":"2015","unstructured":"Li S, Long Z, Liu W, Duckham M, Both A (2015) On redundant topological constraints. Artif Intell 225(C):51\u201376. doi: 10.1016\/j.artint.2015.03.010","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"975_CR28","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0004-3702(02)00372-7","volume":"145","author":"S Li","year":"2003","unstructured":"Li S, Ying M (2003) Region connection calculus: its models and composition table. Artif Intell 145(1\u20132):121\u2013146","journal-title":"Artif Intell"},{"key":"975_CR29","unstructured":"Lober WB, Trigg LJ, Bliss D, Brinkley JM (2001) Iml: an image markup language. In: Proceedings AMIA symposium, pp 403\u20137. http:\/\/www.biomedsearch.com\/nih\/IML-image-markup-language\/11825219.html"},{"key":"975_CR30","volume-title":"Information extraction: algorithms and prospects in a retrieval context, vol 21 of the information retrieval series","author":"M-F Moens","year":"2006","unstructured":"Moens M-F (2006) Information extraction: algorithms and prospects in a retrieval context, vol 21 of the information retrieval series. Springer, New York"},{"key":"975_CR31","unstructured":"Moratz R ( 2006) Representing relative direction as a binary relation of oriented points. In: ECAI 2006, 17th European conference on artificial intelligence, Aug 29\u2013Sept 1, 2006, Riva del Garda, Italy, including prestigious applications of intelligent systems (PAIS 2006), Proceedings\u2019, pp 407\u2013411"},{"issue":"1","key":"975_CR32","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.jvlc.2006.11.001","volume":"19","author":"R Moratz","year":"2008","unstructured":"Moratz R, Ragni M (2008) Qualitative spatial reasoning about relative point position. J Vis Lang Comput 19(1):75\u201398. doi: 10.1016\/j.jvlc.2006.11.001","journal-title":"J Vis Lang Comput"},{"key":"975_CR33","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1016\/j.artint.2011.10.003","volume":"180\u2013181","author":"T Mossakowski","year":"2012","unstructured":"Mossakowski T, Moratz R (2012) Qualitative reasoning about relative direction of oriented points. Artif Intell 180\u2013181:34\u201345. doi: 10.1016\/j.artint.2011.10.003","journal-title":"Artif Intell"},{"issue":"1","key":"975_CR34","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s10472-012-9327-5","volume":"67","author":"I Navarrete","year":"2013","unstructured":"Navarrete I, Morales A, Sciavicco G, Cardenas-Viedma M (2013) Spatial reasoning with rectangular cardinal relations. Ann Math Artif Intell 67(1):31\u201370. doi: 10.1007\/s10472-012-9327-5","journal-title":"Ann Math Artif Intell"},{"issue":"3","key":"975_CR35","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/s10115-002-0094-1","volume":"5","author":"D Pokrajac","year":"2003","unstructured":"Pokrajac D, Hoskinson RL, Obradovic Z (2003) Modeling spatial-temporal data with a short observation history. Knowl Inf Syst 5(3):368\u2013386. doi: 10.1007\/s10115-002-0094-1","journal-title":"Knowl Inf Syst"},{"key":"975_CR36","unstructured":"Randell DA, Cui Z, Cohn AG ( 1992) A spatial logic based on regions and connection. In: Proceedings of the 3rd international conference on principles of knowledge representation and reasoning (KR\u201992). Cambridge, MA, 25-29 Oct 1992, pp 165\u2013176"},{"issue":"2","key":"975_CR37","doi-asserted-by":"publisher","first-page":"8:1","DOI":"10.1145\/2188349.2188350","volume":"37","author":"M Schneider","year":"2012","unstructured":"Schneider M, Chen T, Viswanathan G (2012) Cardinal directions between complex regions. ACM Trans Database Syst 37(2):8:1\u20138:40. doi: 10.1145\/2188349.2188350","journal-title":"ACM Trans Database Syst"},{"issue":"2","key":"975_CR38","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/S0004-3702(03)00137-1","volume":"152","author":"S Skiadopoulos","year":"2004","unstructured":"Skiadopoulos S, Koubarakis M (2004) Composing cardinal direction relations. Artif Intell 152(2):143\u2013171","journal-title":"Artif Intell"},{"issue":"6","key":"975_CR39","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/j.knosys.2009.05.004","volume":"22","author":"H Sun","year":"2009","unstructured":"Sun H (2009) Efficient algorithms for spatial configuration information retrieval. Knowl Based Syst 22(6):403\u2013409","journal-title":"Knowl Based Syst"},{"issue":"2","key":"975_CR40","doi-asserted-by":"crossref","first-page":"18","DOI":"10.5815\/ijigsp.2010.02.03","volume":"2","author":"X Tang","year":"2010","unstructured":"Tang X (2010) A quantitative directional relations model considering topology and distance. Int J Image Graph Signal Process 2(2):18\u201324","journal-title":"Int J Image Graph Signal Process"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-016-0975-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-016-0975-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-016-0975-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-016-0975-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:07:28Z","timestamp":1498320448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-016-0975-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,6]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["975"],"URL":"https:\/\/doi.org\/10.1007\/s10115-016-0975-3","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"type":"print","value":"0219-1377"},{"type":"electronic","value":"0219-3116"}],"subject":[],"published":{"date-parts":[[2016,8,6]]}}}