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

Re: is specializationOf transitive or not?

From: Paolo Ncl <Paolo.Missier@ncl.ac.uk>
Date: Mon, 2 Apr 2012 11:39:58 +0100
Message-Id: <E073116E-7B5B-40E2-90CA-1F12BC6DD1DB@ncl.ac.uk>
Cc: Provenance Working Group WG <public-prov-wg@w3.org>
To: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
I have always supported the view that it is

Paolo

Sent from my iPad

On 2 Apr 2012, at 11:18, Luc Moreau <L.Moreau@ecs.soton.ac.uk> wrote:

> 
> All,
> 
> The purpose of this email is to seek some clarification on what people think
> about the transitive nature of specializationOf.
> 
> James' semantics [1] defines this relation as transitive.
> 
> Do you think specializationOf is transitive?
> If not,  can you give a counter example?
> 
> Cheers,
> Luc
> 
> PS: tracker, this is ISSUE-29
> 
> 
> [1] http://www.w3.org/2011/prov/wiki/FormalSemanticsWD3
> 
> -- 
> 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 Monday, 2 April 2012 10:40:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 13:07:02 GMT