- From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
- Date: Tue, 05 Jun 2012 00:41:53 +0000
- 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