Re: PROV-ISSUE-218: Clarification on the transitivity of Traceability Record [prov-dm]

On Jan 16, 2012, at 2:27 PM, Luc Moreau wrote:

> Hi Stephan,
> 
> The inference rule
> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#traceability-inference
> does not propagate attributes.
> 
> I think it would be difficult to do this in a general way, since the meaning of attributes
> is application specific.

Also record specific.

> 
> Do you have some use case requiring inference of attributes?

Not at all.

I just wanted to be precise on what transivity of a 'record' implied.  Somehow, I missed the inference section...  I see it now.  Thanks.

--Stephan

> 
> Luc
> 
> On 16/01/12 18:02, Provenance Working Group Issue Tracker wrote:
>> PROV-ISSUE-218: Clarification on the transitivity of Traceability Record [prov-dm]
>> 
>> http://www.w3.org/2011/prov/track/issues/218
>> 
>> Raised by: Stephan Zednik
>> On product: prov-dm
>> 
>> I would just like to get clarification on the transitivity of the Traceability Record.
>> 
>> 1) I am assuming that tracedTo attributes are NOT transitive.
>> 
>> 2) Can these attributes be inferred in any way?
>> 
>> http://dvcs.w3.org/hg/prov/raw-file/default/model/ProvenanceModel.html#record-traceability
>> 
>> 6.1 Traceability Record
>> 
>> It is common that we may want to know who or what may have some influence, whether direct or indirect, on a given entity, or who may, directly or not, have some responsibility for a given outcome. Hence, we may want to infer such a notion from an existing set of PROV-DM records. Vice-versa, we may have knowledge of this influence and responsibility, but without knowing its actual details. Thus, we may also want to assert such a notion.
>> 
>> A traceability record states the existence of a "dependency path" between two entities, indicating that one entity can be shown to be in the lineage of another, and may have influenced it, or may bear some responsibility for it, in some way. A traceability record subsumes derivation, activity association, and responsibility, and is defined to be transitive.
>> 
>> A traceability record, written tracedTo(id,e2,e1,attrs) in PROV-ASN:
>> 
>> id: an optional identifier id identifying the traceability record;
>> entity: an identifier e2 identifying an entity;
>> ancestor: an identifier e1 identifying an ancestor entity in the lineage of e2;
>> attributes: an optional set attrs of attribute-value pairs to further describe this record.
>> In PROV-ASN, a traceability record's text matches the traceabilityRecord production of the grammar defined in this specification document.
>> 
>> traceabilityRecord ::= tracedTo ( identifier , eIdentifier , eIdentifier optional-attribute-values )
>> 
>> 
>> 
>>   
> 
> 

Received on Monday, 16 January 2012 21:36:27 UTC