W3C home > Mailing lists > Public > public-prov-wg@w3.org > June 2012

PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints]

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Tue, 05 Jun 2012 00:41:53 +0000
Message-Id: <E1SbhqL-0007OX-GJ@tibor.w3.org>
To: public-prov-wg@w3.org
PROV-ISSUE-394: is alternateOf symmetric? [prov-dm-constraints]

http://www.w3.org/2011/prov/track/issues/394

Raised by: Timothy Lebo
On product: prov-dm-constraints

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
Received on Tuesday, 5 June 2012 00:41:55 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:58:16 UTC