Tracing where and who provenance in Linked Data: a calculus

Dezani, Mariangiola, Horne, Ross and Sassone, Vladimiro (2012) Tracing where and who provenance in Linked Data: a calculus. [in special issue: New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito Toyama)] Theoretical Computer Science, 464, 113-129. (doi:10.1016/j.tcs.2012.06.020).


[img] PDF - Author's Original
Download (178Kb)
[img] PDF ((final version)) - Author's Original
Download (278Kb)


Linked Data provides some sensible guidelines for publishing and consuming data on the Web. Data published on the Web has no inherent truth, yet its quality can often be assessed based on its provenance. This work introduces a new approach to provenance for Linked Data. The simplest notion of provenance-viz., a named graph indicating where the data is now-is extended with a richer provenance format. The format reflects the behaviour of processes interacting with Linked Data, tracing where the data has been published and who published it. An executable model is presented based on abstract syntax and operational semantics, providing a proof of concept and the means to statically evaluate provenance driven access control using a type system.

Item Type: Article
Digital Object Identifier (DOI): doi:10.1016/j.tcs.2012.06.020
ISSNs: 0304-3975 (print)
Keywords: operational semantics, type systems, linked data, provenance
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 335248
Accepted Date and Publication Date:
14 December 2012Published
Date Deposited: 10 Mar 2012 10:40
Last Modified: 31 Mar 2016 14:24
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics