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 VAN DEN BUSSCHE, Jan |
Issue Date: | 2015 | Publisher: | ASSOC COMPUTING MACHINERY | Source: | ACM TRANSACTIONS ON THE WEB, 9 (2) | 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. | Keywords: | Languages; Standardization; Theory; Verification; Provenance; temporal reasoning; World Wide Web | Document URI: | http://hdl.handle.net/1942/19017 | ISSN: | 1559-1131 | e-ISSN: | 1559-114X | DOI: | 10.1145/2734116 | ISI #: | 000355668700005 | Rights: | © 2015 ACM | Category: | A1 | Type: | Journal Contribution | Validations: | ecoom 2016 |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
a10-kwasnikowska.pdf Restricted Access | Published version | 1.09 MB | Adobe PDF | View/Open Request a copy |
SCOPUSTM
Citations
9
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
10
checked on Oct 12, 2024
Page view(s)
66
checked on Sep 6, 2022
Download(s)
58
checked on Sep 6, 2022
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.