Formal Verification of Data Provenance Records

S. Klarman; K.S. Schlobach; L. Serafini

doi:10.1007/978-3-642-35176-1_14

Formal Verification of Data Provenance Records

S. Klarman, K.S. Schlobach, L. Serafini

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Abstract

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 verification.

In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and define a novel verification formalism called provenance specification 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.

Original language	English
Title of host publication	The Semantic Web – ISWC 2012
Subtitle of host publication	11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings
Editors	Philippe Cudré-Mauroux
Publisher	Springer
Pages	215-230
Number of pages	16
Volume	1
ISBN (Electronic)	9783642351761
ISBN (Print)	9783642351754
DOIs	https://doi.org/10.1007/978-3-642-35176-1_14
Publication status	Published - 2012
Event	11th international conference on The Semantic Web - Boston, MA, United States Duration: 11 Nov 2012 → 15 Nov 2012 Conference number: 11

Publication series

Name	Lecture Notes in Computer Science book series (LNCS)
Volume	7649

Conference

Conference	11th international conference on The Semantic Web
Abbreviated title	ISCW 2012
Country/Territory	United States
City	Boston, MA
Period	11/11/12 → 15/11/12

Access to Document

10.1007/978-3-642-35176-1_14

https://dl.acm.org/citation.cfm?id=2426531

Persistent URL (handle)

Persistent link

Cite this

Klarman, S., Schlobach, K. S., & Serafini, L. (2012). Formal Verification of Data Provenance Records. In P. Cudré-Mauroux (Ed.), The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings (Vol. 1, pp. 215-230). (Lecture Notes in Computer Science book series (LNCS); Vol. 7649). Springer. https://doi.org/10.1007/978-3-642-35176-1_14

@inproceedings{0cce0204a6f44e39a461a845757f99c3,

title = "Formal Verification of Data Provenance Records",

abstract = "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 verification.In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and define a novel verification formalism called provenance specification 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.",

author = "S. Klarman and K.S. Schlobach and L. Serafini",

year = "2012",

doi = "10.1007/978-3-642-35176-1_14",

language = "English",

isbn = "9783642351754",

volume = "1",

series = "Lecture Notes in Computer Science book series (LNCS)",

publisher = "Springer",

pages = "215--230",

editor = "Philippe Cudr{\'e}-Mauroux",

booktitle = "The Semantic Web – ISWC 2012",

note = "11th international conference on The Semantic Web, ISCW 2012 ; Conference date: 11-11-2012 Through 15-11-2012",

}

Klarman, S, Schlobach, KS & Serafini, L 2012, Formal Verification of Data Provenance Records. in P Cudré-Mauroux (ed.), The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings. vol. 1, Lecture Notes in Computer Science book series (LNCS), vol. 7649, Springer, pp. 215-230, 11th international conference on The Semantic Web, Boston, MA, United States, 11/11/12. https://doi.org/10.1007/978-3-642-35176-1_14

Formal Verification of Data Provenance Records. / Klarman, S.; Schlobach, K.S.; Serafini, L.
The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings. ed. / Philippe Cudré-Mauroux. Vol. 1 Springer, 2012. p. 215-230 (Lecture Notes in Computer Science book series (LNCS); Vol. 7649).

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Formal Verification of Data Provenance Records

AU - Klarman, S.

AU - Schlobach, K.S.

AU - Serafini, L.

N1 - Conference code: 11

PY - 2012

Y1 - 2012

N2 - 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 verification.In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and define a novel verification formalism called provenance specification 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.

AB - 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 verification.In this paper, we consider data expressed in standard Semantic Web ontology languages, such as OWL, and define a novel verification formalism called provenance specification 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.

UR - https://pdfs.semanticscholar.org/f841/a0ab0989cd8478d55fe58e08f326ace95178.pdf

U2 - 10.1007/978-3-642-35176-1_14

DO - 10.1007/978-3-642-35176-1_14

M3 - Conference contribution

SN - 9783642351754

VL - 1

T3 - Lecture Notes in Computer Science book series (LNCS)

SP - 215

EP - 230

BT - The Semantic Web – ISWC 2012

A2 - Cudré-Mauroux, Philippe

PB - Springer

T2 - 11th international conference on The Semantic Web

Y2 - 11 November 2012 through 15 November 2012

ER -

Klarman S, Schlobach KS, Serafini L. Formal Verification of Data Provenance Records. In Cudré-Mauroux P, editor, The Semantic Web – ISWC 2012: 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings. Vol. 1. Springer. 2012. p. 215-230. (Lecture Notes in Computer Science book series (LNCS)). Epub 2012 Nov. doi: 10.1007/978-3-642-35176-1_14

Formal Verification of Data Provenance Records

Abstract

Publication series

Conference

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this