ISSUE-29: can two bobs be mutually "IVP of" each other
mutual-iVP-of
can two bobs be mutually "IVP of" each other
- State:
- CLOSED
- Product:
- prov-dm
- Raised by:
- Stephen Cresswell
- Opened on:
- 2011-07-11
- Description:
- 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
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-526: Data Model Section 5.5.2 [prov-dm] (from Paolo.Missier@ncl.ac.uk on 2012-09-28)
- Re: PROV-ISSUE-526: Data Model Section 5.5.2 [prov-dm] (from jcheney@inf.ed.ac.uk on 2012-09-28)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-05-30)
- Re: PROV-ISSUE-331 (review-dm-wd5): issue to collect feedback on prov-dm wd5 [prov-dm] (from graham.klyne@zoo.ox.ac.uk on 2012-04-26)
- Re: Different senses of specialization (from tom.denies@ugent.be on 2012-04-12)
- Re: Different senses of specialization (from jcheney@inf.ed.ac.uk on 2012-04-12)
- Re: Different senses of specialization (from jcheney@inf.ed.ac.uk on 2012-04-12)
- Re: Different senses of specialization (from jun.zhao@zoo.ox.ac.uk on 2012-04-12)
- Re: Different senses of specialization (from graham.klyne@zoo.ox.ac.uk on 2012-04-12)
- Re: Different senses of specialization (from lebot@rpi.edu on 2012-04-11)
- Re: Different senses of specialization (from L.Moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: Different senses of specialization (from L.Moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: PROV-ISSUE-331 (review-dm-wd5): issue to collect feedback on prov-dm wd5 [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: Different senses of specialization (from graham.klyne@zoo.ox.ac.uk on 2012-04-11)
- Re: Different senses of specialization (from jcheney@inf.ed.ac.uk on 2012-04-11)
- Re: PROV-ISSUE-331: feedback on PROV-Dm WD5 (from l.moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: Different senses of specialization (from l.moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: PROV-ISSUE-331 (review-dm-wd5): issue to collect feedback on prov-dm wd5 [prov-dm] (from L.Moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: Different senses of specialization (from L.Moreau@ecs.soton.ac.uk on 2012-04-11)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-03)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from GK@ninebynine.org on 2012-04-03)
- Re: is specializationOf transitive or not? (from GK@ninebynine.org on 2012-04-03)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from graham.klyne@zoo.ox.ac.uk on 2012-04-03)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2012-04-03)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2012-04-03)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-04-02)
- Re: is specializationOf transitive or not? (from dlm@cs.rpi.edu on 2012-04-02)
- RE: is specializationOf transitive or not? (from stephen.cresswell@tso.co.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-04-02)
- Re: is specializationOf transitive or not? (from tom.denies@ugent.be on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-04-02)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from simon.miles@kcl.ac.uk on 2012-04-02)
- Re: is specializationOf transitive or not? (from Paolo.Missier@ncl.ac.uk on 2012-04-02)
- is specializationOf transitive or not? (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from tom.denies@ugent.be on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-04-02)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from p.t.groth@vu.nl on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from p.t.groth@vu.nl on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2012-04-01)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-31)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-03-31)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-30)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from Graham.Klyne@zoo.ox.ac.uk on 2012-03-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-03-28)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from graham.klyne@zoo.ox.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from jcheney@inf.ed.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from l.moreau@ecs.soton.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from graham.klyne@zoo.ox.ac.uk on 2012-03-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-25)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-25)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-25)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from simon.miles@kcl.ac.uk on 2012-03-25)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from GK@ninebynine.org on 2012-03-25)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from GK@ninebynine.org on 2012-03-25)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-24)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from p.t.groth@vu.nl on 2012-03-24)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-24)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from p.t.groth@vu.nl on 2012-03-24)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from lebot@rpi.edu on 2012-03-23)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-23)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2012-03-23)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2012-03-23)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2012-03-23)
- [PROV-O] issues in document (from p.t.groth@vu.nl on 2011-10-13)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-30)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-30)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from Khalid.Belhajjame@cs.man.ac.uk on 2011-09-29)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-29)
- RE: RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-29)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2011-09-29)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2011-09-27)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-26)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-26)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from soiland-reyes@cs.manchester.ac.uk on 2011-09-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from L.Moreau@ecs.soton.ac.uk on 2011-09-26)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from GK@ninebynine.org on 2011-09-26)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2011-09-25)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-24)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from mccusj@rpi.edu on 2011-09-23)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from MYERSJ4@rpi.edu on 2011-09-23)
- RE: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from stephen.cresswell@tso.co.uk on 2011-09-23)
- Re: PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from Paolo.Missier@ncl.ac.uk on 2011-09-23)
- Re: Regarding the definition of IVP OF (from L.Moreau@ecs.soton.ac.uk on 2011-07-11)
- PROV-ISSUE-29 (mutual-iVP-of): can two bobs be mutually 'IVP of' each other [Conceptual Model] (from sysbot+tracker@w3.org on 2011-07-11)
Related notes:
Related email:
http://lists.w3.org/Archives/Public/public-prov-wg/2011Jul/0040.html
Display change log