{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:58:03Z","timestamp":1742914683586,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_2","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Vadalog: Recent Advances and Applications"],"prefix":"10.1007","author":[{"given":"Georg","family":"Gottlob","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"2_CR1","unstructured":"Guideline (EU) 2018\/570 of the ECB. https:\/\/www.ecb.europa.eu\/ecb\/legal\/pdf\/celex_32018o0003_en_txt.pdf (2018). Accessed 04 Mar 2019"},{"issue":"1\u20133","key":"2_CR2","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0304-3975(02)00730-2","volume":"308","author":"FN Afrati","year":"2003","unstructured":"Afrati, F.N., Gergatsoulis, M., Toni, F.: Linearisability on datalog programs. Theor. Comput. Sci. 308(1\u20133), 199\u2013226 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/3238304","volume":"43","author":"M Arenas","year":"2018","unstructured":"Arenas, M., Gottlob, G., Pieris, A.: Expressive languages for querying the semantic web. ACM Trans. Database Syst. 43(3), 13:1\u201313:45 (2018)","journal-title":"ACM Trans. Database Syst."},{"key":"2_CR4","unstructured":"Arming, S., Pichler, R., Sallinger, E.: Complexity of repair checking and consistent query answering. In: ICDT, pp. 21:1\u201321:18 (2016)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Fakhoury, D., Gottlob, G., Sallinger, E.: Knowledge graphs and enterprise AI: the promise of an enabling technology. In: ICDE (2019)","DOI":"10.1109\/ICDE.2019.00011"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-00856-7_1","volume-title":"Model and Data Engineering","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., et al.: Data science with Vadalog: bridging machine learning and reasoning. In: Abdelwahed, E.H., Bellatreche, L., Golfarelli, M., M\u00e9ry, D., Ordonez, C. (eds.) MEDI 2018. LNCS, vol. 11163, pp. 3\u201321. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00856-7_1"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: IJCAI, pp. 2\u201310 (2017)","DOI":"10.24963\/ijcai.2017\/1"},{"issue":"9","key":"2_CR8","first-page":"975","volume":"11","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The Vadalog system: datalog-based reasoning for knowledge graphs. PVLDB 11(9), 975\u2013987 (2018)","journal-title":"PVLDB"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Berger, G., Gottlob, G., Pieris, A., Sallinger, E.: The space-efficient core of Vadalog. In: PODS (2019, to appear)","DOI":"10.1145\/3294052.3319688"},{"key":"2_CR10","unstructured":"Bertossi, L.E., Gottlob, G., Pichler, R.: Datalog: bag semantics via set semantics. In: ICDT (2019, to appear)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1613\/jair.3873","volume":"48","author":"A Cal\u00ec","year":"2013","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: query answering under expressive relational constraints. J. Artif. Intell. Res. 48, 115\u2013174 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Csar, T., Lackner, M., Pichler, R., Sallinger, E.: Winner determination in huge elections with MapReduce. In: AAAI, pp. 451\u2013458 (2017)","DOI":"10.1609\/aaai.v31i1.10606"},{"issue":"1","key":"2_CR13","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Fayzrakhmanov, R.R., Sallinger, E., Spencer, B., Furche, T., Gottlob, G.: Browserless web data extraction: challenges and opportunities. In: WWW, pp. 1095\u20131104 (2018)","DOI":"10.1145\/3178876.3186008"},{"key":"2_CR15","unstructured":"Furche, T., Gottlob, G., Neumayr, B., Sallinger, E.: Data wrangling for big data: towards a lingua franca for data wrangling. In: AMW (2016)"},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"25:1","DOI":"10.1145\/2638546","volume":"39","author":"G Gottlob","year":"2014","unstructured":"Gottlob, G., Orsi, G., Pieris, A.: Query rewriting and optimization for ontological databases. ACM Trans. Database Syst. 39(3), 25:1\u201325:46 (2014)","journal-title":"ACM Trans. Database Syst."},{"key":"2_CR17","unstructured":"Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: rules to the rescue. In: IJCAI, pp. 2999\u20133007 (2015)"},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"DS Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28(1), 167\u2013189 (1984)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"2_CR19","doi-asserted-by":"publisher","first-page":"451","DOI":"10.3233\/SW-140153","volume":"6","author":"M K\u00f6nig","year":"2015","unstructured":"K\u00f6nig, M., Lecl\u00e8re, M., Mugnier, M.-L., Thomazo, M.: Sound, complete and minimal ucq-rewriting for existential rules. Semant. Web 6(5), 451\u2013475 (2015)","journal-title":"Semant. Web"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Konstantinou, N., et al.: The VADA architecture for cost-effective data wrangling. In: SIGMOD, pp. 1599\u20131602 (2017)","DOI":"10.1145\/3035918.3058730"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst. 4(4), 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Michels, C., Fayzrakhmanov, R.R., Ley, M., Sallinger, E., Schenkel, R.: OXpath-based data acquisition for DBLP. In: JCDL, pp. 319\u2013320 (2017)","DOI":"10.1109\/JCDL.2017.7991609"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Shkapsky, A., Yang, M., Zaniolo, C.: Optimizing recursive queries with monotonic aggregates in deals. In: ICDE, pp. 867\u2013878 (2015)","DOI":"10.1109\/ICDE.2015.7113340"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,17]],"date-time":"2022-09-17T11:28:37Z","timestamp":1663414117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}