{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:35:05Z","timestamp":1743150905525,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031157066"},{"type":"electronic","value":"9783031157073"}],"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.springer.com\/tdm"},{"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.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15707-3_22","type":"book-chapter","created":{"date-parts":[[2022,8,26]],"date-time":"2022-08-26T11:02:47Z","timestamp":1661511767000},"page":"287-300","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Provenance in\u00a0Heterogeneous Knowledge Bases"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1826-1498","authenticated-orcid":false,"given":"Matthias","family":"Knorr","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8145-3260","authenticated-orcid":false,"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4289-7197","authenticated-orcid":false,"given":"Ricardo","family":"Gon\u00e7alves","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6786-7360","authenticated-orcid":false,"given":"Jo\u00e3o","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,29]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511711787"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bourgaux, C., Ozaki, A., Pe\u00f1aloza, R., Predoiu, L.: Provenance for the description logic $$\\cal{ELH} ^r$$. In: IJCAI, pp. 1862\u20131869. ijcai.org (2020)","DOI":"10.24963\/ijcai.2020\/258"},{"key":"22_CR3","unstructured":"Brewka, G., Eiter, T.: Equilibria in heterogeneous nonmonotonic multi-context systems. In: Proceedings of AAAI, pp. 385\u2013390. AAAI Press (2007)"},{"issue":"12","key":"22_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"22_CR5","doi-asserted-by":"publisher","unstructured":"Buneman, P.: The providence of provenance. In: Gottlob, G., Grasso, G., Olteanu, D., Schallhart, C. (eds.) BNCOD 2013. LNCS, vol. 7968, pp. 7\u201312. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39467-6_3","DOI":"10.1007\/978-3-642-39467-6_3"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Lanti, D., Ozaki, A., Pe\u00f1aloza, R., Xiao, G.: Enriching ontology-based data access with provenance. In: IJCAI, pp. 1616\u20131623. ijcai.org (2019)","DOI":"10.24963\/ijcai.2019\/224"},{"key":"22_CR7","doi-asserted-by":"publisher","unstructured":"Dam\u00e1sio, C.V., Analyti, A., Antoniou, G.: Provenance for SPARQL queries. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012. LNCS, vol. 7649, pp. 625\u2013640. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35176-1_39","DOI":"10.1007\/978-3-642-35176-1_39"},{"key":"22_CR8","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":"22_CR9","unstructured":"Dannert, K.M., Gr\u00e4del, E., Naaf, M., Tannen, V.: Semiring provenance for fixed-point logic. In: CSL, LIPIcs, vol. 183, pp. 17:1\u201317:22 (2021)"},{"issue":"2","key":"22_CR10","first-page":"24","volume":"23","author":"RQ Dividino","year":"2009","unstructured":"Dividino, R.Q., Schenk, S., Sizov, S., Staab, S.: Provenance, trust, explanations - and all that other meta knowledge. KI 23(2), 24\u201330 (2009)","journal-title":"KI"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., Weinzierl, A.: Finding explanations of inconsistency in multi-context systems. Artif. Intell. 216, 233\u2013274 (2014)","journal-title":"Artif. Intell."},{"issue":"12\u201313","key":"22_CR12","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell. 172(12\u201313), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Fandinno, J., Schulz, C.: Answering the \u201cwhy\" in answer set programming - a survey of explanation approaches. TPLP 19(2), 114\u2013203 (2019)","DOI":"10.1017\/S1471068418000534"},{"issue":"2","key":"22_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.jal.2009.09.001","volume":"8","author":"F Geerts","year":"2010","unstructured":"Geerts, F., Poggi, A.: On database query languages for k-relations. J. Appl. Log. 8(2), 173\u2013185 (2010)","journal-title":"J. Appl. Log."},{"issue":"3\u20134","key":"22_CR15","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1561\/1900000068","volume":"9","author":"B Glavic","year":"2021","unstructured":"Glavic, B.: Data provenance. Found. Trends Datab. 9(3\u20134), 209\u2013441 (2021)","journal-title":"Found. Trends Datab."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Glavic, B., Esmaili, K.S., Fischer, P.M., Tatbul, N.: Ariadne: managing fine-grained provenance on data streams. In: Proceedings of DEBS, pp. 39\u201350. ACM (2013)","DOI":"10.1145\/2488222.2488256"},{"key":"22_CR17","unstructured":"Gr\u00e4del, E., Tannen, V.: Semiring provenance for first-order model checking. arXiv preprint arXiv:1712.01980 (2017)"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of PODS, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Green, T.J., Tannen, V.: The semiring framework for database provenance. In: Proceedings of PODS, pp. 93\u201399. ACM (2017)","DOI":"10.1145\/3034786.3056125"},{"key":"22_CR20","doi-asserted-by":"publisher","unstructured":"Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A., et al. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323\u2013338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88564-1_21","DOI":"10.1007\/978-3-540-88564-1_21"},{"issue":"9\u201310","key":"22_CR21","doi-asserted-by":"publisher","first-page":"1528","DOI":"10.1016\/j.artint.2011.01.007","volume":"175","author":"M Knorr","year":"2011","unstructured":"Knorr, M., Alferes, J.J., Hitzler, P.: Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175(9\u201310), 1528\u20131554 (2011)","journal-title":"Artif. Intell."},{"issue":"6","key":"22_CR22","doi-asserted-by":"publisher","first-page":"1279","DOI":"10.1093\/logcom\/ext062","volume":"24","author":"M Knorr","year":"2014","unstructured":"Knorr, M., Slota, M., Leite, J., Homola, M.: What if no hybrid reasoner is available? hybrid MKNF in multi-context systems. J. Log. Comput. 24(6), 1279\u20131311 (2014)","journal-title":"J. Log. Comput."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Lukumbuzya, S., Ortiz, M., Simkus, M.: Resilient logic programs: answer set programs challenged by ontologies. In: AAAI, pp. 2917\u20132924. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i03.5683"},{"issue":"5","key":"22_CR24","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM 57(5), 93\u2013154 (2010)","journal-title":"J. ACM"},{"issue":"1","key":"22_CR25","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/3051528.3051533","volume":"4","author":"V Tannen","year":"2017","unstructured":"Tannen, V.: Provenance analysis for FOL model checking. ACM SIGLOG News 4(1), 24\u201336 (2017)","journal-title":"ACM SIGLOG News"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15707-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,25]],"date-time":"2022-11-25T21:33:57Z","timestamp":1669412037000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15707-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031157066","9783031157073"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15707-3_22","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":"29 August 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Genoa","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2022","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":"lpnmr2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2022.dibris.unige.it\/","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","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"57","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":"34","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":"5","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":"60% - 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","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":"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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}