W3C home > Mailing lists > Public > public-prov-wg@w3.org > September 2011

Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually "IVP of" each other [Conceptual Model]

From: Stian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Date: Mon, 26 Sep 2011 13:01:52 +0100
Message-ID: <CAPRnXt=9V6-hg-ChHQp7weW1k5kvNSL=fJdpUiVgGwV8ZpPgRA@mail.gmail.com>
To: "Myers, Jim" <MYERSJ4@rpi.edu>
Cc: "public-prov-wg@w3.org" <public-prov-wg@w3.org>
On Sat, Sep 24, 2011 at 16:02, Myers, Jim <MYERSJ4@rpi.edu> wrote:
> +1 – I think the common meaning is at odds with what we want (though it is
> certainly more pronounceable than ivpOf)

+1 as well, I am still confused by "complement of". It sounds like it
is more like "at some point had a kind of overlap".

I had failed to pick up from the model that now if B wasComplementOf A
then B is allowed to live for longer than A.

In http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#expression-complement-of

wasComplementOf(rs_m3, rs_l2)
wasComplementOf(rs_m2, rs_l1)
wasComplementOf(rs_m2, rs_l2)
wasComplementOf(rs_m1, rs_l1)

which to me don't match the picture - m2 is fully within beginning and
end of L1 - while m3 is overlapping parts of L1 and parts of L2.

Was the intention here to assert:

wasComplementOf(rs_m1, rs_l1)
wasComplementOf(rs_m2, rs_l1)
wasComplementOf(rs_m3, rs_l1)
wasComplementOf(rs_m3, rs_l2)
wasComplementOf(rs_m4, rs_l2)
wasComplementOf(rs_m4, rs_l3)


Ie. saying that "At some undefined duration during lifetime of rs_m3,
its fixed and dynamic attributes matched those fixed by rs_l1"?

So there is not any way to say that for the whole duration of rs_m1 it
was also sharing the attributes of rs_l1? (Ie. if someone wanted to
know the (functional property) location for rs_m1 (when membership was
250) you can only conclude "At least at some point it was 'loc2' - but
it could have been anything else as well".  This is what the old IVPof

Stian Soiland-Reyes, myGrid team
School of Computer Science
The University of Manchester
Received on Monday, 26 September 2011 12:02:48 UTC

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