PROV-ISSUE-411 (tracedto-inference): Should tracedTo allow tracing across specialization relation [prov-dm-constraints] from Provenance Working Group Issue Tracker on 2012-06-19 (public-prov-wg@w3.org from June 2012)

From: Provenance Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Tue, 19 Jun 2012 20:10:53 +0000
To: public-prov-wg@w3.org
Message-Id: <E1Sh4lJ-0005YF-Uo@nelson.w3.org>

PROV-ISSUE-411 (tracedto-inference): Should tracedTo allow tracing across specialization relation [prov-dm-constraints]

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

Raised by: Luc Moreau
On product: prov-dm-constraints

Hi

The constraints document allows for tracedTo to be inferred from derivation and attribution. Should the following also hold:

specialization(e2,e1)
implies
tracedTo(e2,e1)

Luc

Received on Tuesday, 19 June 2012 20:10:56 UTC