Formal Veri cation of Data Provenance Records

author: Szymon Klarman, Department of Computer Science, Faculty of Sciences, Vrije Universiteit Amsterdam (VU)
published: Dec. 3, 2012,   recorded: November 2012,   views: 4006


Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.


Data provenance is the history of derivation of a data artifact from its original sources. As the real-life provenance records can likely cover thousands of data items and derivation steps, one of the pressing challenges becomes development of formal frameworks for their automated veri fication. In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and de fine a novel verifi cation formalism called provenance speci fication logic, building on dynamic logic. We validate our proposal by modeling the test queries presented in The First Provenance Challenge, and conclude that the logic core of such queries can be successfully captured in our formalism.

See Also:

Download slides icon Download slides: iswc2012_klarman_provenance_records_01.pdf (538.3┬áKB)

Help icon Streaming Video Help

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: