{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T00:47:40Z","timestamp":1776127660238,"version":"3.50.1"},"reference-count":31,"publisher":"Cambridge University Press (CUP)","issue":"3-4","license":[{"start":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T00:00:00Z","timestamp":1533859200000},"content-version":"unspecified","delay-in-days":40,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Spatial information is often expressed using qualitative terms such as natural language expressions instead of coordinates; reasoning over such terms has several practical applications, such as bus routes planning. Representing and reasoning on trajectories is a specific case of qualitative spatial reasoning that focuses on moving objects and their paths. In this work, we propose two versions of a trajectory calculus based on the allowed properties over trajectories, where trajectories are defined as a sequence of non-overlapping regions of a partitioned map. More specifically, if a given trajectory is allowed to start and finish at the same region, 6 base relations are defined (TC-6). If a given trajectory should have different start and finish regions but cycles are allowed within, 10 base relations are defined (TC-10). Both versions of the calculus are implemented as ASP programs; we propose several different encodings, including a generalised program capable of encoding any qualitative calculus in ASP. All proposed encodings are experimentally evaluated using a real-world dataset. Experiment results show that the best performing implementation can scale up to an input of 250 trajectories for TC-6 and 150 trajectories for TC-10 for the problem of discovering a consistent configuration, a significant improvement compared to previous ASP implementations for similar qualitative spatial and temporal calculi.<\/jats:p>","DOI":"10.1017\/s147106841800011x","type":"journal-article","created":{"date-parts":[[2018,8,10]],"date-time":"2018-08-10T05:44:17Z","timestamp":1533879857000},"page":"355-371","source":"Crossref","is-referenced-by-count":12,"title":["A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming"],"prefix":"10.1017","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2118-5812","authenticated-orcid":false,"given":"GEORGE","family":"BARYANNIS","sequence":"first","affiliation":[]},{"given":"ILIAS","family":"TACHMAZIDIS","sequence":"additional","affiliation":[]},{"given":"SOTIRIS","family":"BATSAKIS","sequence":"additional","affiliation":[]},{"given":"GRIGORIS","family":"ANTONIOU","sequence":"additional","affiliation":[]},{"given":"MARIO","family":"ALVIANO","sequence":"additional","affiliation":[]},{"given":"TIMOS","family":"SELLIS","sequence":"additional","affiliation":[]},{"given":"PEI-WEI","family":"TSAI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2018,8,10]]},"reference":[{"key":"S147106841800011X_ref28","first-page":"205","article-title":"Non-monotonic spatial reasoning with answer set programming modulo theories","volume":"17","author":"Wa\u0142\u011bga","year":"2017","journal-title":"TPLP"},{"key":"S147106841800011X_ref11","first-page":"449","article-title":"Abstract gringo","volume":"15","author":"Gebser","year":"2015","journal-title":"TPLP"},{"key":"S147106841800011X_ref5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009712514511"},{"key":"S147106841800011X_ref1","first-page":"221","volume-title":"IJCAI","author":"Allen","year":"1981"},{"key":"S147106841800011X_ref15","first-page":"603","volume-title":"ICTAI","author":"Li","year":"2012"},{"key":"S147106841800011X_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80006-4"},{"key":"S147106841800011X_ref22","first-page":"257","volume-title":"Big Data - Algorithms, Analytics, and Applications","author":"Patroumpas","year":"2015"},{"key":"S147106841800011X_ref13","first-page":"92","volume-title":"COSIT","author":"Hazarika","year":"2001"},{"key":"S147106841800011X_ref27","first-page":"60","volume-title":"GeoS","author":"Van de Weghe","year":"2005"},{"key":"S147106841800011X_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2010.10.042"},{"key":"S147106841800011X_ref29","doi-asserted-by":"crossref","unstructured":"Wang Z. , Jin B. , Zhang F. , Yang R. , and Ji Q. 2017. Exploiting trip patterns in passenger trajectory streams for bus scheduling optimization in real time. In Proceedings of the 18th IEEE International Conference on Mobile Data Management. IEEE Computer Society, 266\u2013271.","DOI":"10.1109\/MDM.2017.43"},{"key":"S147106841800011X_ref26","first-page":"97","article-title":"A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems","volume":"35","author":"Van de Weghe","year":"2006","journal-title":"Control and Cybernetics"},{"key":"S147106841800011X_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2010.12.021"},{"key":"S147106841800011X_ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2473691"},{"key":"S147106841800011X_ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2013.2262376"},{"key":"S147106841800011X_ref9","first-page":"29","volume-title":"CCIA","author":"Escrig","year":"2002"},{"key":"S147106841800011X_ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2011.200"},{"key":"S147106841800011X_ref16","doi-asserted-by":"crossref","unstructured":"Ma Z. , Lu D. , Liu Q. , Wang J. , and Xiong Z. 2017. City-eyes: A multi-source data integration basec smart city analysis system. In Proceedings of the IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM2017). IEEE, 1\u20133.","DOI":"10.1109\/WoWMoM.2017.7974332"},{"key":"S147106841800011X_ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17885-1_1542"},{"key":"S147106841800011X_ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2016.2616404"},{"key":"S147106841800011X_ref23","first-page":"41","volume-title":"The Region Connection Calculus","author":"Renz","year":"2002"},{"key":"S147106841800011X_ref17","first-page":"243","volume-title":"Logic Programming, Proceedings of the North American Conference 1989, Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes","author":"Marek","year":"1989"},{"key":"S147106841800011X_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90029-G"},{"key":"S147106841800011X_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/261124.261126"},{"key":"S147106841800011X_ref12","first-page":"2:1","volume-title":"Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP'16)","author":"Gebser","year":"2016"},{"key":"S147106841800011X_ref20","first-page":"131","volume-title":"KR","author":"Muller","year":"1998"},{"key":"S147106841800011X_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/BF00117601"},{"key":"S147106841800011X_ref18","first-page":"1343","article-title":"A general qualitative spatio-temporal model based on intervals","volume":"18","author":"Mart\u00ednez-Mart\u00edn","year":"2012","journal-title":"J. UCS"},{"key":"S147106841800011X_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10707-007-0023-2"},{"key":"S147106841800011X_ref24","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-45460-8_14","volume-title":"Spatial Cognition","author":"Renz","year":"2000"},{"key":"S147106841800011X_ref3","first-page":"4:1","volume-title":"ICLP (Technical Communications)","author":"Brenton","year":"2016"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S147106841800011X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T15:19:33Z","timestamp":1555255173000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106841800011X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":31,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2018,7]]}},"alternative-id":["S147106841800011X"],"URL":"https:\/\/doi.org\/10.1017\/s147106841800011x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,7]]}}}