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

Re: Contextualization ---> Optional bundle in Specialization

From: Timothy Lebo <lebot@rpi.edu>
Date: Thu, 28 Jun 2012 07:47:57 -0400
Cc: Luc Moreau <L.Moreau@ecs.soton.ac.uk>, Provenance Working Group WG <public-prov-wg@w3.org>
Message-Id: <15CFFC4C-3923-49EC-A315-6E64E6912137@rpi.edu>
To: Graham Klyne <graham.klyne@zoo.ox.ac.uk>

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

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