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

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