- From: Graham Klyne <graham.klyne@zoo.ox.ac.uk>
- Date: Thu, 15 Nov 2012 13:36:24 +0000
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- CC: James Cheney <jcheney@inf.ed.ac.uk>, Ivan Herman <ivan@w3.org>, W3C provenance WG <public-prov-wg@w3.org>
On 15/11/2012 00:20, Luc Moreau wrote: > Hi james and Simon , > > In a discussion today, we came up with the following example. > > Consider two entities e1 and e2 both instances of class Foo. Are they alternate? Could the thing they have in common be the aspect that they belong to the same class Foo? No. Membership of a class may be something they have in common, but doesn't make them alternates IMO. I see alternateOf as a much stronger condition. #g -- > If this is an example compatible with our definition, then any pair of entities would be alternate, since they are of type owl:Thing. > > If this is example is not compatible with the definition, then we should avoid the example in the primer, since it seems that the common aspect of the two files is a type. > > James example with the hg repo is good. > > Another, inspired by the dm, is a resource accessed by a mobile device and a desktop cimputer. The two representations would be alternate. > > Professor Luc Moreau > Electronics and Computer Science > University of Southampton > Southampton SO17 1BJ > United Kingdom > > > On 14 Nov 2012, at 06:22, "Luc Moreau" <l.moreau@ecs.soton.ac.uk> wrote: > >> Hi James, >> >> I am far more at ease with the example you are now giving, where there is a file in a mercurial repository, >> and two local copies on your machine and mine, which are alternate. >> >> What I struggle with is a copy operation taken in isolation (outside the context of a mercurial checkout). I don't >> see what the common thing is. It becomes something like a file with a given content ... which looks more like >> a type description than a thing. >> >> If we were keeping the example of copy in the context of mercurial, with a file in the repository as the common >> thing, than I wouldn't have any objection on this example. >> >> Luc >> >> On 14/11/2012 06:14, James Cheney wrote: >>> Well, for example, my computer has a copy of the hg repository. So does yours (I assume), and there is also a copy on the W3C hg repository. All three have (copies of) prov-dm at various times. >>> >>> One could say that all three files (and their previous, local versions) are alternates of one common thing, "prov-dm in the main HG repository and on Luc and James' computers". Or, one could say that only the instances of prov-dm on a single repository are alternates. >>> >>> I'm not saying it's particularly "clean", but there is nothing in the constraints that rules this out. Moreover, the web architecture (AFAIK) doesn't make strong commitments to what resources really are or where they are stored. Ultimately, this may limit how useful alternateOf is, if everyone interprets it differently. but in that case, at least the negative consequences are limited since we don't use it for much - it is essentially documentation of what users/systems believe about how different entities are related, that is, what the underlying "things" are. >>> >>> --James >>> >>> >>> On Nov 14, 2012, at 11:08 AM, Luc Moreau wrote: >>> >>> >>>> Hi James, >>>> >>>> Thanks for this explanation. >>>> >>>> You write "they are different snapshots of a common, underlying thing". What is that common, undelying >>>> thing? That's where I struggle. >>>> >>>> Luc >>>> >>>> >>>> On 14/11/2012 05:44, James Cheney wrote: >>>> >>>>> 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 >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> >>>>> >>>>> >>>> -- >>>> 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 >>>> >>>> >>>> >>>> >>> >>> >> >> -- >> 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 Thursday, 15 November 2012 13:38:22 UTC