ISSUE-123: prov:used and prov:wasControlledby should be subproperties of prov:hadParticipant
hadParticipant-subprops
prov:used and prov:wasControlledby should be subproperties of prov:hadParticipant
- State:
- CLOSED
- Product:
- Ontology
- Raised by:
- Stian Soiland-Reyes
- Opened on:
- 2011-10-11
- Description:
- From this constraint [1] in PROV-DM both prov:used and prov:wasControlledby sound like subproperties of prov:hadParticipant:
> Given two identifiers pe and e, respectively identifying a process execution expression and an entity expression, the expression hadParticipant(pe,e) holds if and only if:
> used(pe,e) holds, or
> wasControlledBy(pe,e) holds, or
> wasComplementOf(e1,e) holds for some entity expression identified by e1, and hadParticipant(pe,e1) holds some process execution expression identified by pe.
Expressing the transitivity of the last one rule and enforcing no other subproperties requires slightly more OWL magic, left as an exercise to the reader. It should however be straight-forward to do subproperties for the other two.. right?
[1] http://dvcs.w3.org/hg/prov/raw-file/tip/model/ProvenanceModel.html#expression-Participation
- Related Actions Items:
- No related actions
- Related emails:
- Re: PROV-ISSUE-123 (hadParticipant-subprops): prov:used and prov:wasControlledby should be subproperties of prov:hadParticipant (from soiland-reyes@cs.manchester.ac.uk on 2012-04-17)
- Re: PROV-ISSUE-123 (hadParticipant-subprops): prov:used and prov:wasControlledby should be subproperties of prov:hadParticipant (from dgarijo@delicias.dia.fi.upm.es on 2012-03-05)
- PROV-ISSUE-123 (hadParticipant-subprops): prov:used and prov:wasControlledby should be subproperties of prov:hadParticipant (from sysbot+tracker@w3.org on 2011-10-11)
Related notes:
Closed, no longer relevant as hadParticipant is gone, and there is no equivalent inference rule in DM-CONSTRAINTS.
Stian Soiland-Reyes, 16 Apr 2012, 23:10:05Display change log