W3C home > Mailing lists > Public > public-prov-wg@w3.org > November 2012

Re: alternate example in primer

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Wed, 14 Nov 2012 10:44:25 +0000
Cc: Ivan Herman <ivan@w3.org>, W3C provenance WG <public-prov-wg@w3.org>
Message-Id: <06FC1C6B-4BA3-46EC-BC1C-C470D811E9E9@inf.ed.ac.uk>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
I agree with Simon that the text and response was approved (and there was plenty of time for people to check it).  However, I also recall wondering if the file example was correct or misleading.

I think it's a matter of perspective: if we consider a file that is "moved" from /a/b at time 1 to /c/d at time 2, then asserting that they are alternates is a way of saying that they are different snapshots of a common, underlying thing.  This is valid:

entity(f1,[time=1,loc=/a/b,content="foo"])
entity(f2,[time=2,loc=/c/d,content="foo"])
wasDerivedFrom(f2,f1,[op=move])
alternateOf(f1,f2)

However, if we consider a file that is "copied" from /a/b at time 1 to /c/d at time 2, with the original at /a/b being updated  at time 2, then it may be confusing to say this:

entity(f1,[time=1,loc=/a/b, content="foo"])
entity(f1',[time=1,loc=/a/b, content="bar"])
entity(f2,[time=2,loc=/c/d, content="foo"])
wasDerivedFrom(f1',f1,[op=update])
wasDerivedFrom(f2,f1,[op=copy])
alternateOf(f1,f2) // maybe?
alternateOf(f1,f1')  // maybe?

However, this isn't invalid (with any combination of the last two assertions).  This is because adding alternate assertions doesn't lead to any other new inferences - we don't have a way of telling whether two entities overlap in time or have inconsistent attributes.  

If we say that they are all alternates, this amounts to Simon's view - the location being a transient attribute of the totality of all versions of the file anywhere.  If we only assert one or the other then we're taking a narrower view of the file as a linear sequence.  Although the semantics I had in mind originally assumes that alternate entities are along a linear "timeline", there is nothing in the constraints that forces this.

Maybe instead of replacing the file example, we could present the two different takes on it?

--James

On Nov 13, 2012, at 9:27 PM, Luc Moreau wrote:

> 
> No problem with not using content negotiation.
> 
> But the question is: is the current example correct? I have a doubt.
> 
> Luc
> 
> 
> On 13/11/2012 15:09, Ivan Herman wrote:
>> (also echoing the concerns some others had...)
>> 
>> Question: What is the percentage of the expected audience of this primer who really understand what content negotiation is all about? My answer is: not very high:-(
>> 
>> Seriously, content negotiations and mime time may be a black art for many who would want to use our ontology.
>> 
>> (I may be wrong, I did not make some sort of a scientific study...)
>> 
>> Ivan
>> 
>> On Nov 13, 2012, at 09:46 , Luc Moreau wrote:
>> 
>>   
>>> Hi,
>>> 
>>> When preparing the PROV tutorial at ISCW'12, we discussed the example for alternate in the primer.
>>> 
>>>   , if a file is copied from one directory to another, we may want to say that (according to our model) these are both the same file, just in a different location. We may say that the file in the first directory, F1, is an alternate of the file in the second directory, F2. Note that it is the context (location) rather than content of the file that differs between the entities in this case.
>>> 
>>> We didn't find this example as the most compelling.
>>> 
>>>  I don't think that in general, copying a file creates  an alternate. If file f2 is a copy of file f1, I don't know what same thing, f1 and f2 present a same aspect of. And while there is some form of caveat "accordign to our model", this example may be confusing for readers.
>>> 
>>> Instead of this example, we decided to use a content negotiation example:
>>> 
>>> Dereferencing a url requesting different mime types eg. turtle or rdf/xml, returns two entities that are alternate of each other.
>>> 
>>> If we are in agreement, can we change the primer accordingly?
>>> 
>>> thanks,
>>> 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
>>> 
>>> 
>>> 
>>>     
>> 
>> ----
>> Ivan Herman, W3C Semantic Web Activity Lead
>> Home: http://www.w3.org/People/Ivan/
>> mobile: +31-641044153
>> FOAF: http://www.ivan-herman.net/foaf.rdf
>> 
>> 
>> 
>> 
>> 
>>   
> 
> -- 
> 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
> 
> 
> 
> 


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Received on Wednesday, 14 November 2012 10:46:17 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 14 November 2012 10:46:18 GMT