{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:41:38Z","timestamp":1742931698042,"version":"3.40.3"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031215407"},{"type":"electronic","value":"9783031215414"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-21541-4_8","type":"book-chapter","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:02:41Z","timestamp":1670911361000},"page":"113-129","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["iWarded: A Versatile Generator to\u00a0Benchmark Warded Datalog+\/\u2013 Reasoning"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Atzeni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teodoro","family":"Baldazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Bellomarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Sallinger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,12,14]]},"reference":[{"key":"8_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases, vol. 8. Addison-Wesley Reading, Reading (1995)"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"108","DOI":"10.14778\/2850583.2850586","volume":"9","author":"PC Arocena","year":"2015","unstructured":"Arocena, P.C., Glavic, B., Ciucanu, R., Miller, R.J.: The iBench integration metadata generator. VLDB Endow. 9(3), 108\u2013119 (2015)","journal-title":"VLDB Endow."},{"key":"8_CR3","unstructured":"Atzeni, P., Baldazzi, T., Bellomarini, L., Sallinger, E.: iWarded. https:\/\/github.com\/joint-kg-labs\/iWarded (2022) . Accessed 23 June 2022"},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-319-21542-6_21","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"J-F Baget","year":"2015","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Rocher, S., Sipieter, C.: Graal: a toolkit for query answering with existential rules. In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 328\u2013344. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21542-6_21"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Baldazzi, T., Bellomarini, L., Favorito, M., Sallinger, E.: On the relationship between shy and warded datalog+\/-. arXiv preprint arXiv:2202.06285 (2022)","DOI":"10.24963\/kr.2022\/39"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-030-91167-6_18","volume-title":"Rules and Reasoning","author":"T Baldazzi","year":"2021","unstructured":"Baldazzi, T., Bellomarini, L., Sallinger, E., Atzeni, P.: Eliminating harmful joins in warded datalog+\/\u2013. In: Moschoyiannis, S., Pe\u00f1aloza, R., Vanthienen, J., Soylu, A., Roman, D. (eds.) RuleML+RR 2021. LNCS, vol. 12851, pp. 267\u2013275. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91167-6_18"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Barcel\u00f3, P., Pichler, R. (eds.): Datalog in academia and Industry. In: Second International Workshop, Datalog 2.0, Vienna, Austria, 11\u201313 September 2012. Proceedings, LNCS, vol. 7494. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-32925-8","DOI":"10.1007\/978-3-642-32925-8"},{"key":"8_CR8","unstructured":"Barrett, C., et al.: The SMT-LIB standard: Version 2.0. In: Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England). vol. 13, p. 14 (2010)"},{"key":"8_CR9","unstructured":"Bellomarini, L., Benedetto, D., Gottlob, G., Sallinger, E.: Vadalog: a modern architecture for automated reasoning with large knowledge graphs. Inf. Syst. IS (2020)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-73117-9_1","volume-title":"SOFSEM 2018: Theory and Practice of Computer Science","author":"L Bellomarini","year":"2018","unstructured":"Bellomarini, L., Gottlob, G., Pieris, A., Sallinger, E.: Swift logic for big data and knowledge graphs. In: Tjoa, A.M., Bellatreche, L., Biffl, S., van Leeuwen, J., Wiedermann, J. (eds.) SOFSEM 2018. LNCS, vol. 10706, pp. 3\u201316. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73117-9_1"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Bellomarini, L., Sallinger, E., Gottlob, G.: The Vadalog system: datalog-based reasoning for knowledge graphs. VLDB Endow. 11(9) (2018)","DOI":"10.14778\/3213880.3213888"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-53199-7_6","volume-title":"Knowledge Graphs and Big Data Processing","author":"L Bellomarini","year":"2020","unstructured":"Bellomarini, L., Sallinger, E., Vahdati, S.: Chapter 6 reasoning in knowledge graphs: an embeddings spotlight. In: Janev, V., Graux, D., Jabeen, H., Sallinger, E. (eds.) Knowledge Graphs and Big Data Processing. LNCS, vol. 12072, pp. 87\u2013101. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53199-7_6"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Benedikt, M., et al.: Benchmarking the chase. In: PODS, pp. 37\u201352 (2017)","DOI":"10.1145\/3034786.3034796"},{"issue":"13","key":"8_CR14","doi-asserted-by":"publisher","first-page":"1553","DOI":"10.14778\/2733004.2733028","volume":"7","author":"M Benedikt","year":"2014","unstructured":"Benedikt, M., Leblay, J., Tsamoura, E.: PDQ: proof-driven query answering over web-based data. VLDB Endow. 7(13), 1553\u20131556 (2014)","journal-title":"VLDB Endow."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Bonifati, A., Ileana, I., Linardi, M.: Functional dependencies unleashed for scalable data exchange. CoRR abs\/1602.00563 (2016)","DOI":"10.1145\/2949689.2949698"},{"key":"8_CR16","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":"8_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2012.03.001","volume":"14","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. J. Web Seman. 14, 57\u201383 (2012)","journal-title":"J. Web Seman."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T., Marnette, B., Pieris, A.: Datalog+\/-: A family of logical knowledge representation and query languages for new applications. In: 2010 25th Annual IEEE Symposium on Logic in Computer Science (2010)","DOI":"10.1109\/LICS.2010.27"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/j.artint.2012.08.002","volume":"193","author":"A Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Towards more expressive ontology languages: the query answering problem. Artif. Intell. 193, 87\u2013128 (2012)","journal-title":"Artif. Intell."},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. In: ICDT (2003)","DOI":"10.1145\/773153.773163"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Geerts, F., Mecca, G., Papotti, P., Santoro, D.: Mapping and cleaning. In: ICDE, pp. 232\u2013243. IEEE Computer Society (2014)","DOI":"10.1109\/ICDE.2014.6816654"},{"issue":"13","key":"8_CR22","doi-asserted-by":"publisher","first-page":"1565","DOI":"10.14778\/2733004.2733031","volume":"7","author":"F Geerts","year":"2014","unstructured":"Geerts, F., Mecca, G., Papotti, P., Santoro, D.: That\u2019s all folks! llunatic goes open source. VLDB Endow. 7(13), 1565\u20131568 (2014)","journal-title":"VLDB Endow."},{"key":"8_CR23","unstructured":"Gottlob, G., Pieris, A.: Beyond SPARQL under OWL 2 QL entailment regime: Rules to the rescue. In: IJCAI (2015)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-19570-0_2","volume-title":"Logics in Artificial Intelligence","author":"G Gottlob","year":"2019","unstructured":"Gottlob, G., Pieris, A., Sallinger, E.: Vadalog: recent advances and applications. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 21\u201337. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_2"},{"key":"8_CR25","unstructured":"Imprialou, M., Stoilos, G., Grau, B.C.: Benchmarking ontology-based query rewriting systems. In: Twenty-Sixth AAAI Conference on Artificial Intelligence (2012)"},{"issue":"14","key":"8_CR26","doi-asserted-by":"publisher","first-page":"1869","DOI":"10.14778\/2733085.2733093","volume":"7","author":"G Konstantinidis","year":"2014","unstructured":"Konstantinidis, G., Ambite, J.L.: Optimizing the chase: scalable data integration under constraints. VLDB Endow. 7(14), 1869\u20131880 (2014)","journal-title":"VLDB Endow."},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-319-46523-4_23","volume-title":"The Semantic Web \u2013 ISWC 2016","author":"M Kr\u00f6tzsch","year":"2016","unstructured":"Kr\u00f6tzsch, M., Thost, V.: Ontologies for knowledge graphs: breaking the rules. In: Groth, P., et al. (eds.) ISWC 2016. LNCS, vol. 9981, pp. 376\u2013392. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46523-4_23"},{"key":"8_CR28","unstructured":"Lanti, D., Rezk, M.I., Xiao, G., Calvanese, D.: The NPD benchmark: reality check for OBDA systems. In: Advances in database technology-EDBT 2015: 18th International Conference on Extending Database Technology. Brussels, Belgium, 23\u201327 March 2015, Proceedings, pp. 617\u2013628. University of Konstanz, University Library (2015)"},{"key":"8_CR29","unstructured":"Leone, N., Manna, M., Terracina, G., Veltri, P.: Dlv$$^{\\wedge {}}$$E system. https:\/\/www.mat.unical.it\/dlve\/ (2017). Accessed 23 June 2022"},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3308448","volume":"20","author":"N Leone","year":"2019","unstructured":"Leone, N., Manna, M., Terracina, G., Veltri, P.: Fast query answering over existential rules. ToCL 20(2), 1\u201348 (2019)","journal-title":"ToCL"},{"issue":"3","key":"8_CR31","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Logic (TOCL) 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic (TOCL)"},{"issue":"3","key":"8_CR32","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"2","key":"8_CR33","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/170036.170042","volume":"22","author":"ST Leutenegger","year":"1993","unstructured":"Leutenegger, S.T., Dias, D.: A modeling study of the TPC-C benchmark. ACM SIGMOD Rec. 22(2), 22\u201331 (1993)","journal-title":"ACM SIGMOD Rec."},{"issue":"4","key":"8_CR34","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."},{"issue":"3","key":"8_CR35","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1109\/MIC.2002.1003136","volume":"6","author":"DA Menasc\u00e9","year":"2002","unstructured":"Menasc\u00e9, D.A.: TPC-W: a benchmark for e-commerce. IEEE Internet Comput. 6(3), 83\u201387 (2002)","journal-title":"IEEE Internet Comput."},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Motik, B., Nenov, Y., Piro, R., Horrocks, I., Olteanu, D.: Parallel materialisation of datalog programs in centralised, main-memory RDF systems. In: AAAI (2014)","DOI":"10.1609\/aaai.v28i1.8730"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Patterson, D.: Technical perspective for better or worse, benchmarks shape a field. Commun. ACM 55(7) (2012)","DOI":"10.1145\/2209249.2209271"},{"issue":"4","key":"8_CR38","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/369275.369291","volume":"29","author":"M Poess","year":"2000","unstructured":"Poess, M., Floyd, C.: New TPC benchmarks for decision support and web commerce. ACM SIGMOD Rec. 29(4), 64\u201371 (2000)","journal-title":"ACM SIGMOD Rec."},{"issue":"13","key":"8_CR39","first-page":"1367","volume":"7","author":"M Poess","year":"2014","unstructured":"Poess, M., Rabl, T., Jacobsen, H.A., Caufield, B.: TPC-DI: the first industry benchmark for data integration. PVLDB 7(13), 1367\u20131378 (2014)","journal-title":"PVLDB"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Shkapsky, A., Yang, M., Zaniolo, C.: Optimizing recursive queries with monotonic aggregates in deals. In: 2015 IEEE 31st International Conference on Data Engineering, pp. 867\u2013878. IEEE (2015)","DOI":"10.1109\/ICDE.2015.7113340"},{"issue":"4","key":"8_CR41","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure. J. Autom. Reason. 43(4), 337\u2013362 (2009)","journal-title":"J. Autom. Reason."},{"issue":"5\u20136","key":"8_CR42","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1017\/S1471068417000436","volume":"17","author":"C Zaniolo","year":"2017","unstructured":"Zaniolo, C., Yang, M., Das, A., Shkapsky, A., Condie, T., Interlandi, M.: Fixpoint semantics and optimization of recursive datalog programs with aggregates. Theory Pract. Logic Program. 17(5\u20136), 1048\u20131065 (2017)","journal-title":"Theory Pract. Logic Program."}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-21541-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:03:46Z","timestamp":1670911426000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21541-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031215407","9783031215414"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21541-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RuleML+RR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Conference on Rules and Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rulemlrr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/dblp.org\/db\/conf\/rulemlrr\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair.org","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"54","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}