{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T12:50:50Z","timestamp":1772801450846,"version":"3.50.1"},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T00:00:00Z","timestamp":1600646400000},"content-version":"unspecified","delay-in-days":20,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2020,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Qualitative reasoning involves expressing and deriving knowledge based on qualitative terms such as natural language expressions, rather than strict mathematical quantities. Well over 40 qualitative calculi have been proposed so far, mostly in the spatial and temporal domains, with several practical applications such as naval traffic monitoring, warehouse process optimisation and robot manipulation. Even if a number of specialised qualitative reasoning tools have been developed so far, an important barrier to the wider adoption of these tools is that only qualitative reasoning is supported natively, when real-world problems most often require a combination of qualitative and other forms of reasoning. In this work, we propose to overcome this barrier by using ASP as a unifying formalism to tackle problems that require qualitative reasoning in addition to non-qualitative reasoning. A family of ASP encodings is proposed which can handle any qualitative calculus with binary relations. These encodings are experimentally evaluated using a real-world dataset based on a case study of determining optimal coverage of telecommunication antennas, and compared with the performance of two well-known dedicated reasoners. Experimental results show that the proposed encodings outperform one of the two reasoners, but fall behind the other, an acceptable trade-off given the added benefits of handling any type of reasoning as well as the interpretability of logic programs.<\/jats:p>","DOI":"10.1017\/s1471068420000198","type":"journal-article","created":{"date-parts":[[2020,9,21]],"date-time":"2020-09-21T05:25:42Z","timestamp":1600665942000},"page":"687-702","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":5,"title":["A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming"],"prefix":"10.1017","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2118-5812","authenticated-orcid":false,"given":"GEORGE","family":"BARYANNIS","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9052-7329","authenticated-orcid":false,"given":"ILIAS","family":"TACHMAZIDIS","sequence":"additional","affiliation":[]},{"given":"SOTIRIS","family":"BATSAKIS","sequence":"additional","affiliation":[]},{"given":"GRIGORIS","family":"ANTONIOU","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2052-2063","authenticated-orcid":false,"given":"MARIO","family":"ALVIANO","sequence":"additional","affiliation":[]},{"given":"EMMANUEL","family":"PAPADAKIS","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2020,9,21]]},"reference":[{"key":"S1471068420000198_ref5","unstructured":"5. Brenton, C. , Faber, W. , and Batsakis, S. 2016. Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. In ICLP (Technical Communications), Carro, M. , King, A. , Saeedloei, N. , and Vos, M. D. , Eds. OASICS, vol. 52. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 4:1\u20134:15."},{"key":"S1471068420000198_ref25","volume-title":"AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems","author":"Westphal","year":"2009"},{"key":"S1471068420000198_ref10","unstructured":"10. Gebser, M. , Kaminski, R. , Kaufmann, B. , Ostrowski, M. , Schaub, T. , and Wanko, P. 2016. Theory solving made easy with clingo 5. In Technical Communications of the Thirty-second International Conference on Logic Programming (ICLP\u201916), Carro, M. and King, A. , Eds. Open Access Series in Informatics (OASIcs), vol. 52. Schloss Dagstuhl, 2:1\u20132:15."},{"key":"S1471068420000198_ref24","volume-title":"Computer Science","volume":"3799","author":"Van de Weghe","year":"2005"},{"key":"S1471068420000198_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-012-9327-5"},{"key":"S1471068420000198_ref16","doi-asserted-by":"crossref","unstructured":"16. Li, J. J. and Renz, J. 2010. In Defense of Large Qualitative Calculi. In AAAI, Fox, M. and Poole, D. , Eds. AAAI Press.","DOI":"10.1609\/aaai.v24i1.7594"},{"key":"S1471068420000198_ref4","first-page":"1","article-title":"Representing Time and Space for the Semantic Web","volume":"3","author":"Batsakis","year":"2017","journal-title":"International Journal on Artificial Intelligence Tools 26"},{"key":"S1471068420000198_ref13","unstructured":"13. Izmirlioglu, Y. and Erdem, E. 2018. Qualitative reasoning about cardinal directions using answer set programming. In AAAI, McIlraith, S. A. and Weinberger, K. Q. , Eds. AAAI Press, 1880\u20131887."},{"key":"S1471068420000198_ref18","volume-title":"Everything you need to know about 5G","author":"Nordrum","year":"2017"},{"key":"S1471068420000198_ref8","article-title":"A Survey of Qualitative Spatial and Temporal Calculi: Algebraic and Computational Properties","volume":"1","author":"Dylla","year":"2017","journal-title":"ACM Comput. Surv. 50"},{"key":"S1471068420000198_ref6","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068419000450"},{"key":"S1471068420000198_ref19","doi-asserted-by":"crossref","first-page":"1752","DOI":"10.1016\/j.artint.2008.06.003","article-title":"Modelling and Solving Temporal Reasoning as Propositional Satisfiability","volume":"15","author":"Pham","year":"2008","journal-title":"Artif. Intell. 172"},{"key":"S1471068420000198_ref3","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1017\/S147106841800011X","article-title":"A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming","volume":"3","author":"Baryannis","year":"2018","journal-title":"Theory and Practice of Logic Programming 18"},{"key":"S1471068420000198_ref12","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.artint.2012.09.009","article-title":"Decomposition and tractability in qualitative spatial and temporal reasoning","author":"Huang","year":"2013","journal-title":"Artif. Intell. 195"},{"key":"S1471068420000198_ref15","unstructured":"15. Li, J. J. 2012. Qualitative Spatial and Temporal Reasoning with Answer Set Programming. In ICTAI. IEEE Computer Society, 603\u2013609."},{"key":"S1471068420000198_ref14","doi-asserted-by":"publisher","DOI":"10.12716\/1001.07.02.01"},{"key":"S1471068420000198_ref20","unstructured":"20. Randell, D. A. , Cui, Z. , and Cohn, A. G. 1992. A Spatial Logic Based on Regions and Connection. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning. KR\u201992. Morgan Kaufmann Publishers Inc., 165\u2013176."},{"key":"S1471068420000198_ref7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/1069-0115(94)00033-X","article-title":"A comparison of methods for representing topological relationships","volume":"3","author":"Clementini","year":"1995","journal-title":"Information sciences-applications 3"},{"key":"S1471068420000198_ref23","first-page":"1","article-title":"The Design and Experimental Analysis of Algorithms for Temporal Reasoning","author":"van Beek","year":"1996","journal-title":"Journal of Artificial Intelligence Research 4"},{"key":"S1471068420000198_ref9","unstructured":"9. Freksa, C. and Zimmermann, K. 1992. On the utilization of spatial structures for cognitively plausible and efficient reasoning. In Proceedings of the 1992 IEEE International Conference on Systems, Man, and Cybernetics. IEEE, 261\u2013266 vol.1."},{"key":"S1471068420000198_ref1","first-page":"P. J","article-title":"An interval-based representation of temporal knowledge","author":"Allen","year":"1981","journal-title":"In IJCAI"},{"key":"S1471068420000198_ref11","unstructured":"11. Horwitz, J. 2019. The definitive guide to 5G low, mid, and high band speeds. https:\/\/spectrum.ieee.org\/video\/telecom\/wireless\/everything-you-need-to-know-about-5g."},{"key":"S1471068420000198_ref22","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.artint.2004.10.010","article-title":"On the consistency of cardinal direction constraints","volume":"1","author":"Skiadopoulos","year":"2005","journal-title":"Artif. Intell. 163"},{"key":"S1471068420000198_ref2","doi-asserted-by":"crossref","unstructured":"2. Baryannis, G. , Tachmazidis, I. , Batsakis, S. , Antoniou, G. , Alviano, M. , and Papadakis, E. 2020. A generalised approach for encoding and reasoning with qualitative theories in answer set programming. https:\/\/arxiv.org\/abs\/2008.01519.","DOI":"10.1017\/S1471068420000198"},{"key":"S1471068420000198_ref27","unstructured":"27. Wolter, D. and Wallgr\u00fcn, J. O. 2012. Qualitative Spatial Reasoning for Applications: New Challenges and the SparQ Toolbox. In Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions, S. M. Hazarika, Ed. Global, IGI , Hershey, PA , 336\u2013362."},{"key":"S1471068420000198_ref26","doi-asserted-by":"publisher","DOI":"10.3390\/robotics4030253"},{"key":"S1471068420000198_ref21","author":"Renz","year":"2007"}],"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\/S1471068420000198","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,19]],"date-time":"2022-11-19T08:28:24Z","timestamp":1668846504000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068420000198\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["S1471068420000198"],"URL":"https:\/\/doi.org\/10.1017\/s1471068420000198","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,9]]},"assertion":[{"value":"\u00a9 The Author(s), 2020. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}