ISSUE-394: is alternateOf symmetric?
is alternateOf symmetric?
- State:
- CLOSED
- Product:
- prov-dm-constraints
- Raised by:
- Timothy Lebo
- Opened on:
- 2012-06-05
- Description:
- http://dvcs.w3.org/hg/prov/raw-file/default/model/prov-constraints.html#component-4--alternate-entities
Do the following two statements contradict?
"Inference 9 (alternate-reflexive)
For any entity e, we have alternateOf(e,e).
"
and
"3.4.2 Alternate
Alternate not is reflexive. Indeed, alternate(e,e) does not hold for any arbitrary entity e since e may not be a specialization of another entity."
Thanks,
Tim
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from soiland-reyes@cs.manchester.ac.uk on 2012-08-06)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-07-29)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-29)
- RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-07-24)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
- Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from L.Moreau@ecs.soton.ac.uk on 2012-07-23)
- PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-07-20)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-19)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-19)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-18)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-18)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-06-05)
- Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-06-05)
- PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-06-05)
Related notes:
No additional notes.
Display change log