{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,23]],"date-time":"2026-10-23T08:22:45Z","timestamp":1792743765673,"version":"4.5.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031215407","type":"print"},{"value":"9783031215414","type":"electronic"}],"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_10","type":"book-chapter","created":{"date-parts":[[2022,12,13]],"date-time":"2022-12-13T06:02:41Z","timestamp":1670911361000},"page":"146-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Existential Rule Framework for\u00a0Computing Why-Provenance On-Demand for\u00a0Datalog"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1457-0031","authenticated-orcid":false,"given":"Ali","family":"Elhalawati","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9172-2601","authenticated-orcid":false,"given":"Markus","family":"Kr\u00f6tzsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3293-2940","authenticated-orcid":false,"given":"Stephan","family":"Mennicke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,12,14]]},"reference":[{"key":"10_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1994","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Boston (1994)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Al-Rabbaa, C., Borgwardt, S., Koopmann, P., Kovtunova, A.: Explaining ontology-mediated query answers using proofs over universal models. In: Governatori, G., Turhan, A.-Y. (eds.) RuleML+RR 2022. LNCS, vol. 13752, pp. 167\u2013182. Springer, Cham (2022)","DOI":"10.1007\/978-3-031-21541-4_11"},{"issue":"1","key":"10_CR3","first-page":"51","volume":"41","author":"BS Arab","year":"2018","unstructured":"Arab, B.S., Feng, S., Glavic, B., Lee, S., Niu, X., Zeng, Q.: GProM - a swiss army knife for your provenance needs. Proc. IEEE Data Eng. Bull. 41(1), 51\u201362 (2018)","journal-title":"Proc. IEEE Data Eng. Bull."},{"key":"10_CR4","unstructured":"Benedikt, M., et al.: Benchmarking the chase. In: Sallinger, E., Van den Bussche, J., Geerts, F. (eds.) Proceedings of 36th Symposium on Principles of Database Systems (PODS 2017), pp. 37\u201352. ACM (2017)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44503-X_20","volume-title":"Database Theory \u2014 ICDT 2001","author":"P Buneman","year":"2001","unstructured":"Buneman, P., Khanna, S., Wang-Chiew, T.: Why and where: a characterization of data provenance. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 316\u2013330. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44503-X_20"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-030-30796-7_2","volume-title":"The Semantic Web \u2013 ISWC 2019","author":"D Carral","year":"2019","unstructured":"Carral, D., Dragoste, I., Gonz\u00e1lez, L., Jacobs, C., Kr\u00f6tzsch, M., Urbani, J.: VLog: a rule engine for knowledge graphs. In: Ghidini, C., et al. (eds.) ISWC 2019, Part II. LNCS, vol. 11779, pp. 19\u201335. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30796-7_2"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Carral, D., Dragoste, I., Kr\u00f6tzsch, M., Lewe, C.: Chasing sets: how to use existential rules for expressive reasoning. In: Kraus, S. (ed.) Proceedings of 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), pp. 1624\u20131631. ijcai.org (2019)","DOI":"10.24963\/ijcai.2019\/225"},{"issue":"4","key":"10_CR8","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.C.: Provenance in databases: why, how, and where. J. Found. Trends Databases 1(4), 379\u2013474 (2009)","journal-title":"J. Found. Trends Databases"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-642-40564-8_53","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C Viegas Dam\u00e1sio","year":"2013","unstructured":"Viegas Dam\u00e1sio, C., Analyti, A., Antoniou, G.: Justifications for logic programming. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 530\u2013542. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40564-8_53"},{"key":"10_CR10","unstructured":"Deutch, D., Milo, T., Roy, S., Tannen, V.: Circuits for datalog provenance. In: Schweikardt, N., Christophides, V., Leroy, V. (eds.) Proceedings of 17th International Conference on Database Theory (ICDT 2014), pp. 201\u2013212. OpenProceedings.org (2014)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-08846-4_1","volume-title":"Implementation and Application of Automata","author":"J Esparza","year":"2014","unstructured":"Esparza, J., Luttenberger, M., Schlund, M.: FPsolve: a generic solver for fixpoint equations over semirings. In: Holzer, M., Kutrib, M. (eds.) CIAA 2014. LNCS, vol. 8587, pp. 1\u201315. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08846-4_1"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-41660-6_16","volume-title":"In Search of Elegance in the Theory and Practice of Computation","author":"B Glavic","year":"2013","unstructured":"Glavic, B., Miller, R.J., Alonso, G.: Using SQL for efficient generation and querying of provenance information. In: Tannen, V., Wong, L., Libkin, L., Fan, W., Tan, W.-C., Fourman, M. (eds.) In Search of Elegance in the Theory and Practice of Computation. LNCS, vol. 8000, pp. 291\u2013320. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41660-6_16"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of 26th Symposium on Principles of Database Systems (ACM SIGACT-SIGMOD-SIGART 2007), pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Karvounarakis, G., Ives, Z.G., Tannen, V.: Querying data provenance. In: Elmagarmid, A.K., Agrawal, D. (eds.) Proceedings of International Conference on Management of Data (SIGMOD 2010), pp. 951\u2013962. ACM (2010)","DOI":"10.1145\/1807167.1807269"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-013-9296-3","volume":"53","author":"Y Kazakov","year":"2013","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Siman\u010d\u00edk, F.: The incredible ELK: from polynomial procedures to efficient reasoning with $$\\cal{EL} $$ ontologies. J. Autom. Reason. 53, 1\u201361 (2013)","journal-title":"J. Autom. Reason."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-32925-8_12","volume-title":"Datalog in Academia and Industry","author":"S K\u00f6hler","year":"2012","unstructured":"K\u00f6hler, S., Lud\u00e4scher, B., Smaragdakis, Y.: Declarative datalog debugging for mere mortals. In: Barcel\u00f3, P., Pichler, R. (eds.) Datalog 2.0 2012. LNCS, vol. 7494, pp. 111\u2013122. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32925-8_12"},{"issue":"1","key":"10_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s00778-018-0518-5","volume":"28","author":"S Lee","year":"2019","unstructured":"Lee, S., Lud\u00e4scher, B., Glavic, B.: PUG: a framework and practical implementation for why and why-not provenance. Proc. VLDB 28(1), 47\u201371 (2019)","journal-title":"Proc. VLDB"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Raghothaman, M., Mendelson, J., Zhao, D., Naik, M., Scholz, B.: Provenance-guided synthesis of datalog programs. Proc. ACM Program. Lang. 4(POPL), 62:1\u201362:27 (2020)","DOI":"10.1145\/3371130"},{"key":"10_CR19","unstructured":"Ramusat, Y., Maniu, S., Senellart, P.: Provenance-based algorithms for rich queries over graph databases. In: Velegrakis, Y., Zeinalipour-Yazti, D., Chrysanthis, P.K., Guerra, F. (eds.) Proceedings of the 24th International Conference on Extending Database Technology (EDBT 2021), pp. 73\u201384. OpenProceedings.org (2021)"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Zhao, D., Subotic, P., Scholz, B.: Debugging large-scale datalog: a scalable provenance evaluation strategy. Proc. ACM Trans. Program. Lang. Syst. 42(2), 7:1\u20137:35 (2020)","DOI":"10.1145\/3379446"}],"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_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T12:51:06Z","timestamp":1679057466000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-21541-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031215407","9783031215414"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-21541-4_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"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)"}}]}}