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

Re: complementOf -> viewOf: proposed text

From: Luc Moreau <L.Moreau@ecs.soton.ac.uk>
Date: Mon, 16 Jan 2012 14:10:19 +0000
Message-ID: <EMEW3|c2124a38082e01ea068a727adf8ebe36o0FEAN08L.Moreau|ecs.soton.ac.uk|4F142FCB.8090106@ecs.soton.ac.uk>
To: public-prov-wg@w3.org
Hi Paolo,

When you write "e1 and e2 provide two different characterization of the 
same entity",
which "same entity" do you mean? Is it e3 in the example?

If so, can we consider an optional third argument for alternateOf,
   alternateOf(e1,e2,e3)  would then imply alternateOf(e2,e1,e3)  for 
the "symmetry" property.

But maybe, this e3 is always such that specializationOf(e1,e3) holds.

In that case, alternatively, we may want to consider some inference:

alternateOf(e1,e2) and specialization(e1,e3) implies specialization(e2,e3).


On 12/15/2011 03:25 PM, Paolo Missier wrote:
> Hi,
> in response to the comments about complementarity on the wiki and on 
> the list, we have prepared a revised version of the section,
> where "complementarity" disappears in favour of "viewOf", and the 
> definition is hopefully simplified and more in line with the
> expectations:
> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-complement-of    
> (the anchor name hasn't changed :-))
> this is for feedback as per today's agenda
> atb -Paolo

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, 16 January 2012 14:11:07 UTC

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