{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T07:00:33Z","timestamp":1763017233933},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642351754"},{"type":"electronic","value":"9783642351761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35176-1_14","type":"book-chapter","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T06:48:19Z","timestamp":1351234099000},"page":"215-230","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of Data Provenance Records"],"prefix":"10.1007","author":[{"given":"Szymon","family":"Klarman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schlobach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luciano","family":"Serafini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Simmhan, Y.L., Plale, B., Gannon, D.: A survey of data provenance in e-science. SIGMOD Rec. 34 (2005)","DOI":"10.1145\/1084805.1084812"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Miles, S., Missier, P., Myers, J., Plale, B., Simmhan, Y., Stephan, E., den Bussche, J.V.: The open provenance model \u2014 core specification (v1.1). Future Generation Computer Systems\u00a027 (2010)","DOI":"10.1016\/j.future.2010.07.005"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Sahoo, S.S., Sheth, A., Henson, C.: Semantic Provenance for eScience: Managing the Deluge of Scientific Data. IEEE Internet Computing\u00a012(4) (2008)","DOI":"10.1109\/MIC.2008.86"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Miles, S., Wong, S.C., Fang, W., Groth, P., Zauner, K.P., Moreau, L.: Provenance-based validation of e-science experiments. Web Semantics\u00a05 (2007)","DOI":"10.2139\/ssrn.3199350"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Moreau, L., et al.: Special issue: The first provenance challenge. Concurrency and Computation: Practice and Experience\u00a020 (2008)","DOI":"10.1002\/cpe.1255"},{"key":"14_CR6","unstructured":"Baader, F., Calvanese, D., Mcguinness, D.L., Nardi, D., Patel-Schneider, P.F.: The description logic handbook: theory, implementation, and applications. Cambridge University Press (2003)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Groth, P., Gil, Y.: Editorial - using provenance in the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web\u00a09(2) (2011)","DOI":"10.1016\/j.websem.2011.05.005"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Golbeck, J., Hendler, J.: A semantic web approach to the provenance challenge. Concurrency and Computation: Practice and Experience\u00a020(5) (2008)","DOI":"10.1002\/cpe.1238"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Moreau, L.: Provenance-based reproducibility in the semantic web. Web Semantics: Science, Services and Agents on the World Wide Web\u00a09(2) (2011)","DOI":"10.1016\/j.websem.2011.03.001"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Bonatti, P.A., Hogan, A., Polleres, A., Sauro, L.: Robust and scalable linked data reasoning incorporating provenance and trust annotations. Web Semantics: Science, Services and Agents on the World Wide Web\u00a09(2) (2011)","DOI":"10.1016\/j.websem.2011.06.003"},{"key":"14_CR11","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press (2000)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Lange, M.: Model checking propositional dynamic logic with all extras. Journal of Applied Logic\u00a04(1) (2006)","DOI":"10.1016\/j.jal.2005.08.002"},{"key":"14_CR13","unstructured":"Wolter, F., Zakharyaschev, M.: Dynamic description logics. In: Proceedings of AiML 1998 (2000)"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Vianu, V.: Automatic verification of database-driven systems: a new frontier. In: Proceedings of ICDT 2009 (2009)","DOI":"10.1145\/1514894.1514896"},{"key":"14_CR15","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Actions and programs over description logic knowledge bases: A functional approach. In: Lakemeyer, G., McIlraith, S.A. (eds.) Knowing, Reasoning, and Acting: Essays in Honour of Hector Levesque. College Publications (2011)"},{"key":"14_CR16","unstructured":"Karamanolis, C.T., Giannakopoulou, D., Magee, J., Wheater, S.M.: Model checking of workflow schemas. In: Proceedings of EDOC 2000 (2000)"},{"key":"14_CR17","unstructured":"Motik, B.: OWL 2 web ontology language profiles. Technical report, W3C Recommendation (2009), \n                    \n                      http:\/\/www.w3.org\/TR\/owl2-profiles\/"},{"key":"14_CR18","unstructured":"Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. In: Proceedings of KR 2006 (2006)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Glimm, B., Horrocks, I., Lutz, C., Sattler, U.: Conjunctive query answering for the description logic SHIQ. Journal of Artificial Intelligence Research (2007)","DOI":"10.1613\/jair.2372"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"da Silva, P.P., McGuinness, D.L., Fikes, R.: A proof markup language for semantic web services. Journal of Information Systems - Special Issue: The Semantic Web and Web Services\u00a031(4) (2006)","DOI":"10.1016\/j.is.2005.02.003"},{"key":"14_CR21","unstructured":"Mcguinness, D.L., Ding, L., Silva, P.P.D., Chang, C.: Pml2: A modular explanation interlingua. In: Proceedings of ExaCt 2007 (2007)"},{"key":"14_CR22","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL query language for RDF. Technical report, W3C Recom. (2008), \n                    \n                      http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"14_CR23","unstructured":"Belhajjame, K., et al.: The PROV Ontology: Model and formal semantics. Technical report, W3C Draft (2011), \n                    \n                      http:\/\/dvcs.w3.org\/hg\/prov\/raw-file\/default\/ontology\/ProvenanceFormalModel.html"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Klarman, S., Schlobach, S., Serafini, L.: Formal verification of data provenance records. Technical report (2012), \n                    \n                      http:\/\/klarman.synthasite.com\/resources\/KlaEtAlISWC12.pdf","DOI":"10.1007\/978-3-642-35176-1_14"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web \u2013 ISWC 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35176-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T09:44:36Z","timestamp":1557308676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35176-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642351754","9783642351761"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35176-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}