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]


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


Do the following two statements contradict?

"Inference 9 (alternate-reflexive)

For any entity e, we have alternateOf(e,e).


"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."

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