Re: PROV-ISSUE-60: comments on bob [Conceptual Model]

Hi Graham,

On 07/29/2011 10:06 AM, Provenance Working Group Issue Tracker wrote:
> I either don't understand or don't agree with the second part of that
> description.  The notion of assigning values as party of an assertion
> seems wrong to me (I think the notion of constraining attributes is
> the job of the IVP-of relation).  I would expect something like:
>
> [[ A provenance assertion is made at a particular point and is
> invariant, in the sense that the attributes it mentions do not change
> for the entity concerned.  ]]
>
>    

Another important point you raise, at the heart of the model.

First I believe the draft is inline with all discussions and wiki pages 
on this context.

Are you saying that, in the proposed example, that you would have BOBs 
of the form:

bob(id, [ type, location, creator, content])

where type/location/creator/content are attributes, but no value 
specified for them.

To me, what you propose here is more akin to a type/class declaration, 
and not so much of a snapshot/state/BOB,
as characterized by an asserter.

How would you rewrite this example with your notion of BOB?

Luc

-- 
Professor Luc Moreau
Electronics and Computer Science   tel:   +44 23 8059 4487
University of Southampton          fax:   +44 23 8059 2865
Southampton SO17 1BJ               email: l.moreau@ecs.soton.ac.uk
United Kingdom                     http://www.ecs.soton.ac.uk/~lavm

Received on Friday, 29 July 2011 11:48:36 UTC