Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/19017
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | KWASNIKOWSKA, Natalia | - |
dc.contributor.author | Moreau, Luc | - |
dc.contributor.author | VAN DEN BUSSCHE, Jan | - |
dc.date.accessioned | 2015-07-17T09:44:08Z | - |
dc.date.available | 2015-07-17T09:44:08Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | ACM TRANSACTIONS ON THE WEB, 9 (2) | - |
dc.identifier.issn | 1559-1131 | - |
dc.identifier.uri | http://hdl.handle.net/1942/19017 | - |
dc.description.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. | - |
dc.description.sponsorship | Luc Moreau's work is funded in part by the EPSRC SOCIAM (EP/J017728/1) and ORCHID projects (EP/I011587/1), the FP7 SmartSociety project (600854), and the ESRC ebook project (ES/K007246/1). | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.rights | © 2015 ACM | - |
dc.subject.other | Languages; Standardization; Theory; Verification; Provenance; temporal reasoning; World Wide Web | - |
dc.title | A Formal Account of the Open Provenance Model | - |
dc.type | Journal Contribution | - |
dc.identifier.issue | 2 | - |
dc.identifier.volume | 9 | - |
local.format.pages | 44 | - |
local.format.pages | 44 | - |
local.bibliographicCitation.jcat | A1 | - |
dc.description.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. | - |
local.publisher.place | NEW YORK | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
dc.identifier.doi | 10.1145/2734116 | - |
dc.identifier.isi | 000355668700005 | - |
item.validation | ecoom 2016 | - |
item.fulltext | With Fulltext | - |
item.accessRights | Restricted Access | - |
item.fullcitation | KWASNIKOWSKA, Natalia; Moreau, Luc & VAN DEN BUSSCHE, Jan (2015) A Formal Account of the Open Provenance Model. In: ACM TRANSACTIONS ON THE WEB, 9 (2). | - |
item.contributor | KWASNIKOWSKA, Natalia | - |
item.contributor | Moreau, Luc | - |
item.contributor | VAN DEN BUSSCHE, Jan | - |
crisitem.journal.issn | 1559-1131 | - |
crisitem.journal.eissn | 1559-114X | - |
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 Apr 30, 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.