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:
  1. 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)
  2. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from p.t.groth@vu.nl on 2012-07-29)
  3. Re: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-29)
  4. RE: PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from simon.miles@kcl.ac.uk on 2012-07-24)
  5. 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)
  6. 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)
  7. PROV-ISSUE-459 (prov-constraints-lc-review): PROV-CONSTRAINTS review [prov-dm-constraints] (from sysbot+tracker@w3.org on 2012-07-20)
  8. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-19)
  9. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-19)
  10. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-07-18)
  11. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-07-18)
  12. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from lebot@rpi.edu on 2012-06-05)
  13. Re: PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints] (from jcheney@inf.ed.ac.uk on 2012-06-05)
  14. 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 ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 394.html,v 1.1 2013-06-20 07:37:41 vivien Exp $