- 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
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 UTC