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

Re: Contextualization ---> Optional bundle in Specialization

From: Graham Klyne <graham.klyne@zoo.ox.ac.uk>
Date: Wed, 27 Jun 2012 23:53:41 +0100
Message-ID: <4FEB8EF5.9010603@zoo.ox.ac.uk>
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


Now what's the difference here between a and b?

They might logically be the same thing.

Received on Thursday, 28 June 2012 08:46:09 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:16 UTC