W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2011

Re: prov-issue-11: what is version?

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Wed, 29 Jun 2011 12:17:21 +0100
Message-ID: <EMEW3|d8981729e7b7ed196247ddf16d5002c2n5SCHS08L.Moreau|ecs.soton.ac.uk|4E0B09C1.4080407@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Stian,
Agreed with you that "same" transformation is going to be difficult
to establish in the general case.

I was not suggesting that such inference be included in the
definition, but it's something that we may want to investigate
in the future.

On 06/29/2011 11:28 AM, Stian Soiland-Reyes wrote:
> On Wed, Jun 29, 2011 at 08:14, Luc Moreau<L.Moreau@ecs.soton.ac.uk>  wrote:
>> We could have an extra inference rule,
>>   d2 is a revision of d1
>>   c1 isDerivedFrom d1 (by specific transformation t)
>>   c2 is derivedFrom d2 (by same specific transformation t)
>> then c2 is a revision of c1
> Hmm.. I think that shows that it's difficult to include the
> transitivity of revisions to our definition. How do you know it's the
> "same transformation"? They would most likely be two different process
> executions. You venture into the land of describing the recipe for the
> execution - and would need to distinguish purely transformational
> processes (shims?) from processes which are note purely functional and
> would not always give the same outputs.
> I think we can keep your definition - by allowing the asserter to
> specifically say A is a revision of B she can shortcut all these
> tricky bits.

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 Wednesday, 29 June 2011 11:17:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:05 UTC