- From: Timothy Lebo <lebot@rpi.edu>
- Date: Thu, 28 Jun 2012 07:47:57 -0400
- To: Graham Klyne <graham.klyne@zoo.ox.ac.uk>
- Cc: Luc Moreau <L.Moreau@ecs.soton.ac.uk>, Provenance Working Group WG <public-prov-wg@w3.org>
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 > > #g > > >
Received on Thursday, 28 June 2012 11:48:34 UTC