ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O)

derivation-attributes constraint (PROV-DM and PROV-O)

State:

CLOSED

Product:

prov-dm

Raised by:

Satya Sahoo

Opened on:

2011-10-15

Description:

The following constraint (id=derivation-attributes) is defined for wasDerivedFrom Relation (in mercurial fpwd head PROV-DM document on Oct 15, 2011):

"Given a process execution expression denoted by pe, entity expressions denoted by e1 and e2, qualifiers q1 and q2, the assertion wasDerivedFrom(e2,e1,pe,q2,q1) or wasDerivedFrom(e2,e1) holds if and only if the values of some attributes of the entity expression identified by e2 are partly or fully determined by the values of some attributes of the entity expression identified by e1. "

Issue:
a) This attribute-based constraint for wasDerivedFrom property can lead to ambiguous assertions of wasDerivedFrom between Entity instances.

Example scenario: The color attribute of an apple, kept in a refrigerator, "color = brown" is determined by the attribute of the refrigerator "temperature = -10C". Can we assert that "brown apple" wasDerivedFrom "refrigerator"?

We can argue that the "brown apple" dependedOn "refrigerator" with temperature setting of -10C, but not wasDerivedFrom

Suggestion: restate the above attribute-based constraint for "dependedOn" relation instead of "wasDerivedFrom"

b) Since dependedOn is a weaker notion of wasDerivedFrom - we can assert in the PROV-O that dependedOn is a parent property (more generic version) of wasDerivedFrom

c) Suggest renaming dependedOn to dependentOn

Related Actions Items:

No related actions

Related emails:

1. Re: PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model] (from lebot@rpi.edu on 2012-03-05)
2. Re: PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model] (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
3. Re: Prov-DM, entity records and ASN (from L.Moreau@ecs.soton.ac.uk on 2012-01-13)
4. Re: PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2012-01-11)
5. Re: PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from satya.sahoo@case.edu on 2012-01-11)
6. Re: PROV-ISSUE-200: Section 6.3 (PROV-DM as on Dec 5) [prov-dm] (from satya.sahoo@case.edu on 2011-12-10)
7. Re: PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-30)
8. Re: PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from lebot@rpi.edu on 2011-11-16)
9. Re: PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from L.Moreau@ecs.soton.ac.uk on 2011-11-07)
10. Re: PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model] (from p.t.groth@vu.nl on 2011-10-20)
11. Re: PROV-ISSUE-114 (Tlebo): is prov:wasDerivedFrom rdfs:subPropertyOf prov:dependedOn? [Formal Model] (from satya.sahoo@case.edu on 2011-10-19)
12. PROV-ISSUE-125: derivation-attributes constraint (PROV-DM and PROV-O) [Data Model] (from sysbot+tracker@w3.org on 2011-10-15)

Related notes:

No additional notes.

Display change log