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:
  1. 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)
  2. 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)
  3. 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:05

Display change log ATOM feed


Chair, Staff Contact
Tracker: documentation, (configuration for this group), originally developed by Dean Jackson, is developed and maintained by the Systems Team <w3t-sys@w3.org>.
$Id: 123.html,v 1.1 2013-06-20 07:37:21 vivien Exp $