{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:25:54Z","timestamp":1742912754971,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319134123"},{"type":"electronic","value":"9783319134130"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-13413-0_3","type":"book-chapter","created":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T19:59:56Z","timestamp":1417463996000},"page":"41-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Information Integration with Provenance on the Semantic Web via Probabilistic Datalog+\/\u2013"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Lukasiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Vanina","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Livia","family":"Predoiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo I.","family":"Simari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,11,30]]},"reference":[{"issue":"3","key":"3_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I., van Benthem, J.: Modal languages and bounded fragments of predicate logic. J. Philos. Logic 27(3), 217\u2013274 (1998)","journal-title":"J. Philos. Logic"},{"issue":"51","key":"3_CR2","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1378727.1378745","volume":"9","author":"PA Bernstein","year":"2008","unstructured":"Bernstein, P.A., Haas, L.M.: Information integration in the enterprise. Commun. ACM 9(51), 72\u201379 (2008)","journal-title":"Commun. ACM"},{"key":"3_CR3","unstructured":"Botoeva, E.: Description Logic Knowledge Base Exchange. Ph.D. thesis, Free University of Bozen-Bolzano (2014)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-39467-6_3","volume-title":"Big Data","author":"P Buneman","year":"2013","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)"},{"key":"3_CR5","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive integrity constraints. In: Proceedings of KR, pp. 70\u201380. AAAI Press (2008)"},{"key":"3_CR6","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 Sem. 14, 57\u201383 (2012)","journal-title":"J. Web Sem."},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-89765-1_5","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"A Cal\u00ec","year":"2008","unstructured":"Cal\u00ec, A., Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Rule-based approaches for representing probabilistic ontology mappings. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol. 5327, pp. 66\u201387. Springer, Heidelberg (2008)"},{"issue":"4","key":"3_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. Found. Trends Databases 1(4), 379\u2013474 (2009)","journal-title":"Found. Trends Databases"},{"key":"3_CR9","unstructured":"Chiticariu, L., Tan, W.C.: Debugging schema mappings with routes. In: Proceedings of VLDB, pp. 79\u201390. ACM Press (2006)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proceedings of PODS, pp. 149\u2013158. ACM Press (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s00778-008-0119-9","volume":"18","author":"XL Dong","year":"2009","unstructured":"Dong, X.L., Halevy, A., Yu, C.: Data integration with uncertainty. VLDB J. 18, 469\u2013500 (2009)","journal-title":"VLDB J."},{"key":"3_CR12","volume-title":"Ontology Matching","author":"J Euzenat","year":"2007","unstructured":"Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kimelfeld, B., Kolaitis, P.G.: Probabilistic data exchange. In: Proceedings of ICDT, pp. 76\u201388. ACM Press (2010)","DOI":"10.1145\/1804669.1804681"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1989727.1989729","volume":"58","author":"R Fagin","year":"2011","unstructured":"Fagin, R., Kimelfeld, B., Kolaitis, P.G.: Probabilistic data exchange. J. ACM 58, 15 (2011)","journal-title":"J. ACM"},{"issue":"1","key":"3_CR15","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":"3_CR16","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: second-order dependencies to the rescue. ACM T. Database Syst. 30, 994\u20131055 (2005)","journal-title":"ACM T. Database Syst."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Gal, A., Martinez, M.V., Simari, G.I., Subrahmanian, V.S.: Aggregate query answering under uncertain schema mappings. In: Proceedings of ICDE, pp. 940\u2013951. IEEE Computer Society (2009)","DOI":"10.1109\/ICDE.2009.55"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10472-013-9342-1","volume":"69","author":"G Gottlob","year":"2013","unstructured":"Gottlob, G., Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Query answering under probabilistic uncertainty in Datalog+\/- ontologies. Ann. Math. Artif. Intell. 69(1), 37\u201372 (2013)","journal-title":"Ann. Math. Artif. Intell."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of PODS, pp. 31\u201340. ACM Press (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Taylor, N.E., Biton, O., Ives, Z.G., Tannen, V.: ORCHESTRA: facilitating collaborative data sharing. In: Proceedings of SIGMOD, pp. 1131\u20131133. ACM Press (2007)","DOI":"10.1145\/1247480.1247631"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/11965893_3","volume-title":"Database Theory \u2013 ICDT 2007","author":"L Haas","year":"2006","unstructured":"Haas, L.: Beauty and the beast: the theory and practice of information integration. In: Schwentick, T., Suciu, D. (eds.) ICDT 2007. LNCS, vol. 4353, pp. 28\u201343. Springer, Heidelberg (2006)"},{"key":"3_CR22","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.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci. 28, 167\u2013189 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR23","unstructured":"Karvounarakis, G.: Provenance in collaborative data sharing. Ph.D. thesis, University of Pennsylvania (2009)"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proceedings of PODS, pp. 233\u2013246. ACM Press (2002)","DOI":"10.1145\/543613.543644"},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"HJ Levesque","year":"1987","unstructured":"Levesque, H.J., Brachman, R.J.: Expressiveness and tractability in knowledge representation and reasoning. Comput. Intell. 3, 78\u201393 (1987)","journal-title":"Comput. Intell."},{"key":"3_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-642-33203-6_12","volume-title":"Web Reasoning and Rule Systems","author":"T Lukasiewicz","year":"2012","unstructured":"Lukasiewicz, T., Martinez, M.V., Simari, G.I.: Consistent answers in probabilistic Datalog+\/\u2013 ontologies. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 156\u2013171. Springer, Heidelberg (2012)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Lukasiewicz, T., Predoiu, L.: Information integration with provenance on the Semantic Web via probabilistic Datalog+\/-. In: Proceedings of URSW. CEUR Workshop Proceedings (2013)","DOI":"10.1007\/978-3-319-13413-0_3"},{"issue":"3\/4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10472-012-9280-3","volume":"63","author":"T Lukasiewicz","year":"2011","unstructured":"Lukasiewicz, T., Predoiu, L., Stuckenschmidt, H.: Tightly integrated probabilistic description logic programs for representing ontology mappings. Ann. Math. Artif. Intell. 63(3\/4), 385\u2013425 (2011)","journal-title":"Ann. Math. Artif. Intell."},{"issue":"4","key":"3_CR29","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":"3_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-79450-6","volume-title":"Provenance: An Introduction to PROV","author":"L Moreau","year":"2013","unstructured":"Moreau, L., Groth, P.: Provenance: An Introduction to PROV. Morgan and Claypool, San Rafael (2013)"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/978-3-642-23032-5_11","volume-title":"Reasoning Web","author":"M Niepert","year":"2011","unstructured":"Niepert, M., Noessner, J., Meilicke, C., Stuckenschmidt, H.: Probabilistic-logical web data integration. In: Polleres, A., d\u2019Amato, C., Arenas, M., Handschuh, S., Kroner, P., Ossowski, S., Patel-Schneider, P. (eds.) Reasoning Web 2011. LNCS, vol. 6848, pp. 504\u2013533. Springer, Heidelberg (2011)"},{"key":"3_CR32","unstructured":"Scharffe, F., de Bruijn, J.: A language to specify mappings between ontologies. In: Proceedings of SITIS, pp. 267\u2013271. Dicolor Press (2005)"},{"key":"3_CR33","unstructured":"Serafini, L., Stuckenschmidt, H., Wache, H.: A formal investigation of mapping language for terminological knowledge. In: Proceedings of IJCAI, pp. 576\u2013581. Professional Book Center (2005)"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1145\/1629175.1629201","volume":"53","author":"B ten Cate","year":"2010","unstructured":"ten Cate, B., Kolaitis, P.G.: Structural characterizations of schema-mapping languages. Commun. ACM 53, 101\u2013110 (2010)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web III"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13413-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T02:24:02Z","timestamp":1676427842000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-13413-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319134123","9783319134130"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13413-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"30 November 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}