{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T06:34:08Z","timestamp":1780382048226,"version":"3.54.1"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030221010","type":"print"},{"value":"9783030221027","type":"electronic"}],"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-22102-7_12","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T12:21:26Z","timestamp":1561465286000},"page":"266-285","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Provenance Analysis: A Perspective for Description Logics?"],"prefix":"10.1007","author":[{"given":"Katrin M.","family":"Dannert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Erich","family":"Gr\u00e4del","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,6,1]]},"reference":[{"key":"12_CR1","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: On the limitations of provenance for queries with difference. In: 3rd Workshop on the Theory and Practice of Provenance, TaPP 2011 (2011). CoRR abs\/1105.2255"},{"key":"12_CR2","unstructured":"Amsterdamer, Y., Deutch, D., Tannen, V.: Provenance for aggregate queries. In: Principles of Database Systems, PODS, pp. 153\u2013164 (2011). CoRR abs\/1101.1110"},{"key":"12_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"12_CR4","unstructured":"Dannert, K., Gr\u00e4del, E.: Semiring Provenance for Guarded Logics (submitted for publication)"},{"key":"12_CR5","unstructured":"Deutch, D., Milo, T., Roy, S., Tannen, V.: Circuits for datalog provenance. In: Proceedings of 17th International Conference on Database Theory ICDT, pp. 201\u2013212 (2014)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Foster, J., Green, T., Tannen, V.: Annotated XML: queries and provenance. In: Principles of Database Systems, PODS, pp. 271\u2013280 (2008)","DOI":"10.1145\/1376916.1376954"},{"issue":"2","key":"12_CR7","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. Logic 8(2), 173\u2013185 (2010)","journal-title":"J. Appl. Logic"},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2810037","volume":"63","author":"Floris Geerts","year":"2016","unstructured":"Geerts, F., Unger, T., Karvounarakis, G., Fundulaki, I., Christophides, V.: Algebraic structures for capturing the provenance of SPARQL queries. J. ACM 63(1), 7:1\u20137:63 (2016)","journal-title":"Journal of the ACM"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Tannen, V.: Semiring provenance for first-order model checking. arXiv:1712.01980 [cs.LO] (2017)","DOI":"10.1145\/3051528.3051533"},{"key":"12_CR10","unstructured":"Gr\u00e4del, E., Tannen, V.: Provenance analysis for logic and games (2019, submitted for publication)"},{"issue":"2","key":"12_CR11","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00224-011-9327-6","volume":"49","author":"T Green","year":"2011","unstructured":"Green, T.: Containment of conjunctive queries on annotated relations. Theory Comput. Syst. 49(2), 429\u2013459 (2011)","journal-title":"Theory Comput. Syst."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Green, T., Ives, Z., Tannen, V.: Reconcilable differences. In: Database Theory - ICDT 2009, pp. 212\u2013224 (2009)","DOI":"10.1145\/1514894.1514920"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Green, T., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Principles of Database Systems PODS, pp. 31\u201340 (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Green, T., Tannen, V.: The semiring framework for database provenance. In: Proceedings of PODS, pp. 93\u201399 (2017)","DOI":"10.1145\/3034786.3056125"},{"issue":"1","key":"12_CR15","first-page":"39","volume":"41","author":"J Xu","year":"2018","unstructured":"Xu, J., Zhang, W., Alawini, A., Tannen, V.: Provenance analysis for missing answers and integrity repairs. IEEE Data Eng. Bull. 41(1), 39\u201350 (2018)","journal-title":"IEEE Data Eng. Bull."},{"key":"12_CR16","unstructured":"Ozaki, A., Penaloza, R.: Provenance in ontology-based data access. In: Proceedings of the 31st International Workshop on Description Logics (2018)"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-41660-6_26","volume-title":"In Search of Elegance in the Theory and Practice of Computation","author":"V Tannen","year":"2013","unstructured":"Tannen, V.: Provenance propagation in complex queries. 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. 483\u2013493. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41660-6_26"}],"container-title":["Lecture Notes in Computer Science","Description Logic, Theory Combination, and All That"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22102-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T19:26:54Z","timestamp":1610047614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22102-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030221010","9783030221027"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22102-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}