{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T08:46:15Z","timestamp":1770885975180,"version":"3.50.1"},"reference-count":37,"publisher":"Association for Computing Machinery (ACM)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. VLDB Endow."],"published-print":{"date-parts":[[2018,5]]},"abstract":"<jats:p>Over the past years, there has been a resurgence of Datalog-based systems in the database community as well as in industry. In this context, it has been recognized that to handle the complex knowledge-based scenarios encountered today, such as reasoning over large knowledge graphs, Datalog has to be extended with features such as existential quantification. Yet, Datalog-based reasoning in the presence of existential quantification is in general undecidable. Many efforts have been made to define decidable fragments. Warded Datalog+\/- is a very promising one, as it captures PTIME complexity while allowing ontological reasoning. Yet so far, no implementation of Warded Datalog+\/- was available. In this paper we present the Vadalog system, a Datalog-based system for performing complex logic reasoning tasks, such as those required in advanced knowledge graphs. The Vadalog system is Oxford's contribution to the VADA research programme, a joint effort of the universities of Oxford, Manchester and Edinburgh and around 20 industrial partners. As the main contribution of this paper, we illustrate the first implementation of Warded Datalog+\/-, a high-performance Datalog+\/- system utilizing an aggressive termination control strategy. We also provide a comprehensive experimental evaluation.<\/jats:p>","DOI":"10.14778\/3213880.3213888","type":"journal-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T18:15:11Z","timestamp":1528827311000},"page":"975-987","source":"Crossref","is-referenced-by-count":61,"title":["The Vadalog system"],"prefix":"10.14778","volume":"11","author":[{"given":"Luigi","family":"Bellomarini","sequence":"first","affiliation":[{"name":"University of Oxford and Banca d'Italia and Universit\u00e0 Roma Tre"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[{"name":"University of Oxford"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[{"name":"University of Oxford and TU Wien"}]}],"member":"320","published-online":{"date-parts":[[2018,5]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Foundations of Databases","author":"Abiteboul S.","year":"1995","unstructured":"S. Abiteboul , R. Hull , and V. Vianu . Foundations of Databases . Addison-Wesley , 1995 . S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995."},{"key":"e_1_2_1_2_1","first-page":"49","volume-title":"AISTATS","volume":"15","author":"Agarwal D.","year":"2011","unstructured":"D. Agarwal . Discussion of \"learning scale free networks by reweighted 11 regularization \". In AISTATS , volume 15 , pages 49 -- 50 , 2011 . D. Agarwal. Discussion of \"learning scale free networks by reweighted 11 regularization\". In AISTATS, volume 15, pages 49--50, 2011."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742796"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.14778\/2850583.2850586"},{"key":"e_1_2_1_5_1","volume-title":"Walking the decidability line for rules with existential variables","author":"Baget J.","year":"2010","unstructured":"J. Baget , M. Lecl\u00e8re , and M. Mugnier . Walking the decidability line for rules with existential variables . In KR. AAAI Press , 2010 . J. Baget, M. Lecl\u00e8re, and M. Mugnier. Walking the decidability line for rules with existential variables. In KR. AAAI Press, 2010."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21542-6_21"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283519"},{"key":"e_1_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-32925-8","volume-title":"Datalog 2.0","author":"Barcel\u00f3 P.","year":"2012","unstructured":"P. Barcel\u00f3 and R. Pichler , editors . Datalog in Academia and Industry - Second International Workshop , Datalog 2.0 , Vienna, Austria, September 11-13, 2012 . Proceedings, volume 7494 of Lecture Notes in Computer Science . Springer , 2012. P. Barcel\u00f3 and R. Pichler, editors. Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings, volume 7494 of Lecture Notes in Computer Science. Springer, 2012."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171643"},{"key":"e_1_2_1_10_1","unstructured":"L. Bellomarini E. Sallinger and G. Gottlob. The Vadalog System (technical report). https:\/\/drive.google.com\/drive\/u\/0\/folders\/0B2xKYNJdpJzQaEh5VzlhTURHU3M.  L. Bellomarini E. Sallinger and G. Gottlob. The Vadalog System (technical report). https:\/\/drive.google.com\/drive\/u\/0\/folders\/0B2xKYNJdpJzQaEh5VzlhTURHU3M."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3034786.3034796"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735703.2735708"},{"key":"e_1_2_1_13_1","first-page":"132","volume-title":"SODA","author":"Bollob\u00e1s B.","year":"2003","unstructured":"B. Bollob\u00e1s , C. Borgs , J. Chayes , and O. Riordan . Directed scale-free graphs . In SODA , pages 132 -- 139 , 2003 . B. Bollob\u00e1s, C. Borgs, J. Chayes, and O. Riordan. Directed scale-free graphs. In SODA, pages 132--139, 2003."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2949689.2949698"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591248.2591252"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2012.03.001"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2010.27"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2012.08.002"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW-160217"},{"key":"e_1_2_1_20_1","unstructured":"DBpedia. Web site. http:\/\/wiki.dbpedia.org\/services-resources\/downloads\/dbpedia-tables.  DBpedia. Web site. http:\/\/wiki.dbpedia.org\/services-resources\/downloads\/dbpedia-tables."},{"key":"e_1_2_1_21_1","unstructured":"D. Garlaschelli S. Battiston M. Castri V. Servedio and G. Caldarelli. The scale-free topology of market investments. http:\/\/goo.gl\/h7tVVK 2004.  D. Garlaschelli S. Battiston M. Castri V. Servedio and G. Caldarelli. The scale-free topology of market investments. http:\/\/goo.gl\/h7tVVK 2004."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.14778\/2733004.2733031"},{"key":"e_1_2_1_23_1","first-page":"2999","volume-title":"IJCAI","author":"Gottlob G.","year":"2015","unstructured":"G. Gottlob and A. Pieris . Beyond SPARQL under OWL 2 QL entailment regime: Rules to the rescue . In IJCAI , pages 2999 -- 3007 , 2015 . G. Gottlob and A. Pieris. Beyond SPARQL under OWL 2 QL entailment regime: Rules to the rescue. In IJCAI, pages 2999--3007, 2015."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594538.2594556"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/645478.757691"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2005.06.005"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5591\/978-1-57735-516-8\/IJCAI11-444"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/3171642.3171811"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2014.6816745"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-013-0333-y"},{"key":"e_1_2_1_31_1","first-page":"129","volume-title":"AAAI","author":"Motik B.","year":"2014","unstructured":"B. Motik , Y. Nenov , R. Piro , I. Horrocks , and D. Olteanu . Parallel materialisation of datalog programs in centralised, main-memory RDF systems . In AAAI , pages 129 -- 137 , 2014 . B. Motik, Y. Nenov, R. Piro, I. Horrocks, and D. Olteanu. Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In AAAI, pages 129--137, 2014."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/BigData.2016.7840589"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687603"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.4249\/scholarpedia.1716"},{"key":"e_1_2_1_35_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1007\/978-3-642-45221-5_49","volume-title":"LPAR","author":"Schulz S.","year":"2013","unstructured":"S. Schulz . System description : E 1.8 . In LPAR , volume 8312 of Lecture Notes in Computer Science , pages 735 -- 743 . Springer , 2013 . S. Schulz. System description: E 1.8. In LPAR, volume 8312 of Lecture Notes in Computer Science, pages 735--743. Springer, 2013."},{"key":"e_1_2_1_36_1","first-page":"258","article-title":"Column-oriented datalog materialization for large knowledge graphs","volume":"2016","author":"Urbani J.","year":"2016","unstructured":"J. Urbani , C. J. H. Jacobs , and M. Kr\u00f6tzsch . Column-oriented datalog materialization for large knowledge graphs . In AAAI 2016 , pages 258 -- 264 , 2016 . J. Urbani, C. J. H. Jacobs, and M. Kr\u00f6tzsch. Column-oriented datalog materialization for large knowledge graphs. In AAAI 2016, pages 258--264, 2016.","journal-title":"AAAI"},{"key":"e_1_2_1_37_1","unstructured":"VADA. Project. http:\/\/vada.org.uk\/ 2016.  VADA. Project. http:\/\/vada.org.uk\/ 2016."}],"container-title":["Proceedings of the VLDB Endowment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.14778\/3213880.3213888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:01:49Z","timestamp":1672221709000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.14778\/3213880.3213888"}},"subtitle":["datalog-based reasoning for knowledge graphs"],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":37,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["10.14778\/3213880.3213888"],"URL":"https:\/\/doi.org\/10.14778\/3213880.3213888","relation":{},"ISSN":["2150-8097"],"issn-type":[{"value":"2150-8097","type":"print"}],"subject":[],"published":{"date-parts":[[2018,5]]}}}