Warning:
This wiki has been archived and is now read-only.
ProvDMWorkingDraft4
From Provenance WG Wiki
Contents
PROV-DM Towards Fourth Working Draft
[ACTION-62]
Aims:
- Provide a preliminary simplified introduction to the data model
- Referring to the FormalSemanticsStrawman, drop Things from the provenance data model presentation, only refer to entities (identifiers denote entities). The set of Things is only used at the semantics level, to provide meaning for some construct
- Drop AccountRecord as a construct of the data model. We still work on the basis that a notion of bundle/account exists, but the mechanisms to create it are outside the data model
- Introduce the idea of an upgrade path, where the new reader is not required to learn about all the details of attributes, intervals, events, constraints to write simple provenance (informally referred to as Scruffy Provenance)
Editor's Working Copy
- The first part consists of a simple presentation of prov-dm.
- File available from http://dvcs.w3.org/hg/prov/raw-file/default/model/working-copy/towards-wd4.html
- The second part is about dm attributes, events, constraints, etc
- The third part is just focused on the definition of prov-asn:
- File available from http://dvcs.w3.org/hg/prov/raw-file/default/model/working-copy/prov-asn.html
Proposed Structure
- We are creating three separate parts:
- Part 1:the Prov data model, which would be an introduction of the concepts of the data model, and some simple examples
- Makes use of previous resolutions
- May or may not include specializationOf/alternateOf
- Part 1:the Prov data model, which would be an introduction of the concepts of the data model, and some simple examples
- Part 2: the upgrade path how to make proper provenance assertions
- Would include a lightweight notion of account
- Would include the attribute-based characterization (fixed values over some interval ...)
- Would includes associated constraints
- Part 2: the upgrade path how to make proper provenance assertions
- Part 3: the Prov abstract syntax notation
- Would contain all grammar definitions of PROV-ASN
- Part 3: the Prov abstract syntax notation
Design decisions
- If part 3 is now separate from part 1, there is no need to talk about 'Entity Record' (or whatever Record) in part 1. Instead, we can just mention Entity (or whatever other concept).
- Given that Part 3 is just about ASN, and therefore is a language, then we can without confusion, talk about 'Entity Expression' since now these would be Expressions of the language
- Does this mean that we would be dropping the term record entirely? What would we bundle up though?
- What about assertions? So should still use the word?
Feedback on These Working Copies
- Tim: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0416.html
- Jun: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0316.html
- Eric:http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0399.html
- Curt: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0233.html
- Graham: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0415.html
- Graham: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0448.html
- Khalid: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0533.html
- Daniel: http://lists.w3.org/Archives/Public/public-prov-wg/2012Feb/0515.html