Tracing where and who provenance in linked data: a calculus

DOI10.1016/j.tcs.2012.06.020zbMath1253.68043OpenAlexW2124651695WikidataQ125371631 ScholiaQ125371631MaRDI QIDQ1929234

Vladimiro Sassone, Ross Horne, Mariangiola Dezani-Ciancaglini

Publication date: 7 January 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.06.020

zbMATH Keywords

operational semanticstype systemslinked data

Mathematics Subject Classification ID

Internet topics (68M11) General topics in the theory of data (68P01)

Related Items (4)

Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ Linked data privacy ⋮ A descriptive type foundation for RDF Schema ⋮ Minimal type inference for linked data consumers

Uses Software

• SPARQL

Cites Work

• A Core Calculus for Provenance
• Annotated RDF
• Provenance as dependency analysis
• The theory of languages
• Automata, Languages and Programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Tracing where and who provenance in linked data: a calculus