- From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- Date: Thu, 28 Jun 2012 12:53:57 +0100
- To: Timothy Lebo <lebot@rpi.edu>, Graham Klyne <graham.klyne@zoo.ox.ac.uk>
- CC: Provenance Working Group WG <public-prov-wg@w3.org>
Hi Graham, On 06/28/2012 12:47 PM, Timothy Lebo wrote: > On Jun 27, 2012, at 6:53 PM, Graham Klyne wrote: > > >> On 27/06/2012 22:19, Luc Moreau wrote: >> >>> Are you trying to say that if >>> >>> specializationOf(luc-in-boston,luc) >>> specializationOf(luc-in-soton,luc) >>> >>> You cannot see any semantic distinction between luc-in-boston and luc-in-soton????? >>> Surely, there is a difference! >>> >> Indeed I cannot. >> >> There is no semantically discernible difference here. Under alpha conversion (change of local variable name), it would be semantically equivalent to claim >> >> specializationOf(a,luc) >> specializationOf(b,luc) >> >> Now what's the difference here between a and b? >> > > >> They might logically be the same thing. >> > Absolutely! > And they might logically be distinct things. > One simply doesn't know, and nobody should assume one way or another. > > As far as I can tell, any RDF triple ever asserted will feed your concern about breaking the semantics or RDF. > > -Tim > > > In fact, I don't understand what this discussion has to do with contextualizationOf (or any renaming it). All the concerns you have Graham apply to the whole of PROV, irrespective of bundle/contextualization. Luc >> #g >> >> >> >> > -- 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, 28 June 2012 11:54:30 UTC