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

is specializationOf transitive or not?

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Mon, 02 Apr 2012 11:18:56 +0100
Message-ID: <EMEW3|7bb58ad64fd93d4f1fe8ab8da68d0e4co31BJ108L.Moreau|ecs.soton.ac.uk|4F797D10.2010407@ecs.soton.ac.uk>
To: Provenance Working Group WG <public-prov-wg@w3.org>

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:19:28 GMT

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