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

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

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Mon, 11 Jul 2011 11:22:41 +0000
To: public-prov-wg@w3.org
Message-Id: <E1QgEZV-0000AX-4B@lowblow.w3.org>

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

http://www.w3.org/2011/prov/track/issues/29

Raised by: Stephen Cresswell
On product: Conceptual Model


As it currently stands, I believe that it does not exclude the possibility that two bobs may be mutually "IVP of" each other -
i.e. you could have bobs A, B such that (B IVPof A) & (A IVPof B), and this is surely not intended.

This could arise if, for bobs A, B :
- A and B both represent the same entity
- A and B share some immutable properties, and they have corresponding values.
- B has some immutable properties which correspond to mutable properties of A
- A has some immutable properties which correspond to mutable properties of B

Possibly the asserter-defined test (included in "IPV of" definition) that real world states modelled by A and B are "consistent" may disallow
"IPV of" in this situation.  However, unless that is guaranteed, I think that the definition of "B IPV of A" (if it is still to have a definition) should additionally require that:
"A has no immutable properties which correspond to mutable properties of B"

Stephen
Received on Monday, 11 July 2011 11:22:41 GMT

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