The University of Southampton
University of Southampton Institutional Repository

Tracing where and who provenance in Linked Data: a calculus

Tracing where and who provenance in Linked Data: a calculus
Tracing where and who provenance in Linked Data: a calculus
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.
operational semantics, type systems, linked data, provenance
0304-3975
113-129
Dezani, Mariangiola
e6d573ba-23e8-457d-8d8e-3c1bedd47b42
Horne, Ross
4847dccd-7a84-44b7-9402-341d942c9427
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7
Dezani, Mariangiola
e6d573ba-23e8-457d-8d8e-3c1bedd47b42
Horne, Ross
4847dccd-7a84-44b7-9402-341d942c9427
Sassone, Vladimiro
df7d3c83-2aa0-4571-be94-9473b07b03e7

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

Record type: Article

Abstract

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.

Text
dhzLinkedDataProv.pdf - Author's Original
Download (182kB)
Text
mainSD.pdf - Author's Original
Download (285kB)

More information

Published date: 14 December 2012
Keywords: operational semantics, type systems, linked data, provenance
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 335248
URI: http://eprints.soton.ac.uk/id/eprint/335248
ISSN: 0304-3975
PURE UUID: 594b41c0-5e06-4105-b85c-7264e86bb69b

Catalogue record

Date deposited: 10 Mar 2012 10:40
Last modified: 14 Mar 2024 10:37

Export record

Altmetrics

Contributors

Author: Mariangiola Dezani
Author: Ross Horne
Author: Vladimiro Sassone

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×