Document Server@UHasselt >
Research >
Research publications >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/19017

Title: A Formal Account of the Open Provenance Model
Authors: KWASNIKOWSKA, Natalia
Moreau, Luc
Issue Date: 2015
Abstract: On the Web, where resources such as documents and data are published, shared, transformed, and republished, provenance is a crucial piece of metadata that would allow users to place their trust in the resources they access. The open provenance model (OPM) is a community data model for provenance that is designed to facilitate the meaningful interchange of provenance information between systems. Underpinning OPM is a notion of directed graph, where nodes represent data products and processes involved in past computations and edges represent dependencies between them; it is complemented by graphical inference rules allowing new dependencies to be derived. Until now, however, the OPM model was a purely syntactical endeavor. The present article extends OPM graphs with an explicit distinction between precise and imprecise edges. Then a formal semantics for the thus enriched OPM graphs is proposed, by viewing OPM graphs as temporal theories on the temporal events represented in the graph. The original OPM inference rules are scrutinized in view of the semantics and found to be sound but incomplete. An extended set of graphical rules is provided and proved to be complete for inference. The article concludes with applications of the formal semantics to inferencing in OPM graphs, operators on OPM graphs, and a formal notion of refinement among OPM graphs.
Notes: [Kwasnikowska, Natalia; Van den Bussche, Jan] Univ Hasselt, B-3590 Diepenbeek, Belgium. [Kwasnikowska, Natalia; Van den Bussche, Jan] Transnatl Univ Limburg, Limburg, Belgium. [Moreau, Luc] Univ Southampton, Sch Elect & Comp Sci, Southampton SO17 1BJ, Hants, England.
URI: http://hdl.handle.net/1942/19017
DOI: 10.1145/2734116
ISI #: 000355668700005
ISSN: 1559-1131
Category: A1
Type: Journal Contribution
Validation: ecoom, 2016
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
article1.09 MBAdobe PDF
published version632.73 kBAdobe PDF

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.