{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T07:12:28Z","timestamp":1761808348124,"version":"3.40.5"},"reference-count":41,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T00:00:00Z","timestamp":1582502400000},"content-version":"unspecified","delay-in-days":0,"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,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Recent technological advances have led to unprecedented amounts of generated data that originate from the Web, sensor networks, and social media. Analytics in terms of defeasible reasoning \u2013 for example, for decision making \u2013 could provide richer knowledge of the underlying domain. Traditionally, defeasible reasoning has focused on complex knowledge structures over small to medium amounts of data, but recent research efforts have attempted to parallelize the reasoning process over theories with large numbers of facts. Such work has shown that traditional defeasible logics come with overheads that limit scalability. In this work, we design a new logic for defeasible reasoning, thus ensuring scalability by design. We establish several properties of the logic, including its relation to existing defeasible logics. Our experimental results indicate that our approach is indeed scalable and defeasible reasoning can be applied to billions of facts.<\/jats:p>","DOI":"10.1017\/s1471068420000010","type":"journal-article","created":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T10:21:32Z","timestamp":1582539692000},"page":"552-586","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":8,"title":["Rethinking Defeasible Reasoning: A Scalable Approach"],"prefix":"10.1017","volume":"20","author":[{"given":"MICHAEL J.","family":"MAHER","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9052-7329","authenticated-orcid":false,"given":"ILIAS","family":"TACHMAZIDIS","sequence":"additional","affiliation":[]},{"given":"GRIGORIS","family":"ANTONIOU","sequence":"additional","affiliation":[]},{"given":"STEPHEN","family":"WADE","sequence":"additional","affiliation":[]},{"given":"LONG","family":"CHENG","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2020,2,24]]},"reference":[{"key":"S1471068420000010_ref13","unstructured":"Goodman, E. L. , Jimenez, E. , Mizell, D. , Al-Saffar, S. , Adolf, B. and Haglin, D. J. 2011. High-Performance Computing Applied to Semantic Databases. In ESWC (2), 31\u201345."},{"key":"S1471068420000010_ref30","unstructured":"Martinez-Angeles, C. A. , de Castro Dutra, I. , Costa, V. S. and Buenabad-Ch\u00e1vez, J. 2013. A datalog engine for GPUs. In Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11\u201313, 2013, Revised Selected Papers, Hanus, M. and Rocha, R. , Eds. LNCS, vol. 8439. Springer, 152\u2013168."},{"key":"S1471068420000010_ref36","unstructured":"Tachmazidis, I. and Antoniou, G. 2013. Computing the stratified semantics of logic programs over big data through mass parallelization. In Theory, Practice, and Applications of Rules on the Web \u2013 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11\u201313, 2013. Proceedings, Morgenstern, L. , Stefaneas, P. S. , L\u00e9vy, F. , Wyner, A. Z. , and Paschke, A. , Eds. LNCS, vol. 8035. Springer, 188\u2013202."},{"key":"S1471068420000010_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8975-8"},{"key":"S1471068420000010_ref19","unstructured":"Grosof, B. N. , Labrou, Y. and Chan, H. Y. 1999. A declarative approach to business rules in contracts: courteous logic programs in XML. In Proceedings of the First ACM Conference on Electronic Commerce (EC-99), Denver, CO, USA, November 3\u20135, 1999, 68\u201377."},{"key":"S1471068420000010_ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.03.004"},{"key":"S1471068420000010_ref4","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371517"},{"key":"S1471068420000010_ref37","first-page":"445","article-title":"Efficient computation of the well-founded semantics over big data","volume":"4\u20135","author":"Tachmazidis","year":"2014","journal-title":"TPLP 14"},{"key":"S1471068420000010_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9030-4"},{"key":"S1471068420000010_ref2","unstructured":"Antoniou, G. , Billington, D. , Governatori, G. and Maher, M. J. 1999. On the modelling and analysis of regulations. In Proceedings of the Australasian Conference on Information Systems, 20\u201329."},{"key":"S1471068420000010_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"S1471068420000010_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/502807.502810"},{"key":"S1471068420000010_ref5","unstructured":"Armbrust, M. , Xin, R. S. , Lian, C. , Huai, Y. , Liu, D. , Bradley, J. K. , Meng, X. , Kaftan, T. , Franklin, M. J. , Ghodsi, A. and Zaharia, M. 2015. Spark sql: Relational data processing in spark. In Proceedings of the 2015 ACM SIGMOD Conference. ACM, 1383\u20131394."},{"key":"S1471068420000010_ref39","unstructured":"Tachmazidis, I. , Antoniou, G. , Flouris, G. , Kotoulas, S. and McCluskey, L. 2012b. Large-scale parallel stratified defeasible reasoning. In ECAI 2012 \u2013 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27\u201331, 2012, Raedt, L. D. , Bessi\u00e8re, C. , Dubois, D. , Doherty, P. , Frasconi, P. , Heintz, F. , and Lucas, P. J. F. , Eds. Frontiers in Artificial Intelligence and Applications, vol. 242. IOS Press, 738\u2013743."},{"key":"S1471068420000010_ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2011.05.004"},{"key":"S1471068420000010_ref14","first-page":"819","article-title":"Annotated defeasible logic","volume":"5","author":"Governatori","year":"2017","journal-title":"TPLP 17"},{"key":"S1471068420000010_ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10506-018-9218-0"},{"key":"S1471068420000010_ref35","unstructured":"Tachmazidis, I. 2015. Large-scale reasoning with nonmonotonic and imperfect knowledge through mass parallelization. Ph.D. thesis, University of Huddersfield, UK."},{"key":"S1471068420000010_ref8","first-page":"806","article-title":"Scaling-up reasoning and advanced analytics on BigData","volume":"5\u20136","author":"Condie","year":"2018","journal-title":"TPLP 18"},{"key":"S1471068420000010_ref38","unstructured":"Tachmazidis, I. , Antoniou, G. , Flouris, G. and Kotoulas, S. 2012a. Towards parallel nonmonotonic reasoning with billions of facts. In Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10\u201314, 2012, Brewka, G. , Eiter, T. , and McIlraith, S. A. , Eds. AAAI Press."},{"key":"S1471068420000010_ref1","unstructured":"Antoniou, G. , Batsakis, S. , Mutharaju, R. , Pan, J. Z. , Qi, G. , Tachmazidis, I. , Urbani, J. and Zhou, Z. 2018. A survey of large-scale reasoning on the web of data. The Knowledge Engineering Review 33, e21."},{"key":"S1471068420000010_ref28","first-page":"579","article-title":"Relative expressiveness of defeasible logics II","volume":"4\u20135","author":"Maher","year":"2013","journal-title":"TPLP 13"},{"key":"S1471068420000010_ref41","unstructured":"Zhou, Z. , Qi, G. , Liu, C. , Hitzler, P. and Mutharaju, R. 2013. Scale reasoning with fuzzy-EL+ ontologies based on MapReduce. In Proceedings of the IJCAI-2013 Workshop on Weighted Logics for Artificial Intelligence, WL4AI-2013, Beijing, China, August 2013, 87\u201393."},{"key":"S1471068420000010_ref25","unstructured":"Liu, C. , Qi, G. , Wang, H. and Yu, Y. 2011. Large Scale Fuzzy pD* Reasoning Using MapReduce. In 10th International Semantic Web Conference, Bonn, Germany, October 23\u201327. LNCS, vol. 7031. Springer, 405\u2013420."},{"key":"S1471068420000010_ref24","unstructured":"Leone, N. , Allocca, C. , Alviano, M. , Calimeri, F. , Civili, C. , Costabile, R. , Fiorentino, A. , Fusc\u00e0, D. , Germano, S. , Laboccetta, G. , Cuteri, B. , Manna, M. , Perri, S. , Reale, K. , Ricca, F. , Veltri, P. and Zangari, J. 2019. Enhancing DLV for large-scale reasoning. In Logic Programming and Nonmonotonic Reasoning \u2013 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3\u20137, 2019, Proceedings, Balduccini, M. , Lierler, Y. , and Woltran, S. , Eds. LNCS, vol. 11481. Springer, 312\u2013325."},{"key":"S1471068420000010_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2009.09.002"},{"key":"S1471068420000010_ref12","first-page":"620","article-title":"The well-founded semantics for general logic programs","volume":"3","author":"Gelder","year":"1991","journal-title":"Journal of ACM 38"},{"key":"S1471068420000010_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-017-1142-1"},{"key":"S1471068420000010_ref31","unstructured":"Mutharaju, R. , Hitzler, P. , Mateti, P. and L\u00e9cu\u00e9, F. 2015. Distributed and scalable OWL EL reasoning. In The Semantic Web. Latest Advances and New Domains \u2013 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 \u2013 June 4, 2015. Proceedings, Gandon, F. , Sabou, M. , Sack, H. , d\u2019Amato, C. , Cudr\u00e9-Mauroux, P. , and Zimmermann, A. , Eds. LNCS, vol. 9088. Springer, 88\u2013103."},{"key":"S1471068420000010_ref27","first-page":"793","article-title":"Relative expressiveness of defeasible logics","volume":"4\u20135","author":"Maher","year":"2012","journal-title":"TPLP 12"},{"key":"S1471068420000010_ref23","unstructured":"Kim, J. and Park, Y. 2015. Scalable owl-horst ontology reasoning using SPARK. In 2015 International Conference on Big Data and Smart Computing, BIGCOMP 2015, Jeju, South Korea, February 9\u201311, 2015, 79\u201386."},{"key":"S1471068420000010_ref21","unstructured":"Heino, N. and Pan, J. Z. 2012. RDFS reasoning on massively parallel hardware. In The Semantic Web - ISWC 2012 \u2013 11th International Semantic Web Conference, Boston, MA, USA, November 11\u201315, 2012, Proceedings, Part I, Cudr\u00e9-Mauroux, P. , Heflin, J. , Sirin, E. , Tudorache, T. , Euzenat, J. , Hauswirth, M. , Parreira, J. X. , Hendler, J. , Schreiber, G. , Bernstein, A. , and Blomqvist, E. , Eds. LNCS, vol. 7649. Springer, 133\u2013148."},{"key":"S1471068420000010_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511676277"},{"key":"S1471068420000010_ref3","unstructured":"Antoniou, G. , Billington, D. , Governatori, G. and Maher, M. J. 2000. A flexible framework for defeasible logics. In AAAI\/IAAI. AAAI Press\/The MIT Press, 405\u2013410."},{"key":"S1471068420000010_ref6","first-page":"6","article-title":"An inclusion theorem for defeasible logics","volume":"1","author":"Billington","year":"2010","journal-title":"ACM Transactions on Computational Logic 12"},{"key":"S1471068420000010_ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2019.2906203"},{"key":"S1471068420000010_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-013-9295-1"},{"key":"S1471068420000010_ref17","doi-asserted-by":"publisher","DOI":"10.1504\/IJBPIM.2009.030985"},{"key":"S1471068420000010_ref26","first-page":"691","article-title":"Propositional defeasible logic has linear complexity","volume":"6","author":"Maher","year":"2001","journal-title":"TPLP 1"},{"key":"S1471068420000010_ref15","unstructured":"Governatori, G. , Milosevic, Z. and Sadiq, S. W. 2006. Compliance checking between business processes and business contracts. In Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 221\u2013232."},{"key":"S1471068420000010_ref29","unstructured":"Maher, M. J. , Antoniou, G. and Billington, D. 1998. A study of provability in defeasible logic. In Proc. 11th Australian Joint Conference on Artificial Intelligence. LNCS, vol. 1502. Springer, 215\u2013226."}],"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\/S1471068420000010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T09:33:32Z","timestamp":1612172012000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068420000010\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,24]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["S1471068420000010"],"URL":"https:\/\/doi.org\/10.1017\/s1471068420000010","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2020,2,24]]},"assertion":[{"value":"\u00a9 Cambridge University Press 2020","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}