- From: Graham Klyne <graham.klyne@zoo.ox.ac.uk>
- Date: Wed, 27 Jun 2012 23:53:41 +0100
- To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
- CC: Provenance Working Group WG <public-prov-wg@w3.org>
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. #g
Received on Thursday, 28 June 2012 08:46:09 UTC