Mapping RO Provenance to W3C PROV-O

This page documents a mapping of the RO provenance to the W3C PROV Ontology.

In the Wf4Ever project provenance information related to ROs are represented in two modules:
* The wfprov module of the RO model, for describing provenance of workflow results and executions

* The RO Evolution model (roevo), for describing the evolution or changes of an RO

In order to achieve an interoperability between these two modules within the Wf4Ever project and with provenance from other external systems, we align them with the latest standard proposed by the World Wide Web Consortium: the [PROV Ontology|http://www.w3.org/TR/prov-o/].In the following two sections, we document our alignment result. The alignment was completed on 13 June, 2012, based on the PROV Ontology released by that date.
|| wfprov Concepts || Alignment relations \\ || PROV Terms \\ || Notes \\ ||
| Artifact \\ | rdfs:subClassOf \\ | Entity \\ | |
| ProcessRun | rdfs:subClassOf | Activity \\ | |
| WorkflowRun | rdfs:subClassOf | Activity | |
| WorkflowEngine | rdfs:subClassOf | Agent \\ | |

|| wfprov Properties \\ || Alignment relations \\ || PROV Terms \\ || Notes \\ ||
| usedInput | rdfs:subPropertyOf | used \\ | |
| wasOutputFrom | rdfs:subPropertyOf | wasGeneratedBy \\ | |
| wasEnactedBy | | wasAssociatedWith \\ | |
| wasPartOfWorkflowRun | | N/A \\ | |
| describedByParameter | complex mapping | {code:xml}construct { ?activity a prov:Activity;
prov:qualifiedGeneration [
prov:entity ?entity;
prov:hadRole ?role ] .
?role a wfdesc:Output }
Where
{ ?entity a wfprov:Artifact ;
wfprov:wasOutputFrom ?activity ;
wfprov:describedByParameter ?role .
?role a wfdesc:Output}.{code} | |
| | | {code:xml} construct {?activity a prov:Activity;
prov:qualifiedUsage [
prov:entity ?artifact;
prov:hadRole ?role ] .
?role a wfdesc:Input .}
where
{
?artifact a ro:Artifact; ro:describedByParameter ?role .
?activity ro:usedInput ?artifact .
?role a wfdesc:Input.
} {code} | |
| describedByWorkflow | complex mapping \\ | {code:xml} construct {?workflowrun a prov:Activity ;
prov:qualifiedAssociation [ prov:hadPlan ?recipe] .}
where
{
?workflowrun rdf:type wfprov:WorkflowRun; ro:describedByWorkflow ?recipe .
?recipe rdf:type wfdesc:Workfllow} {code} | |
| describedByProcess \\ | Complex mapping \\ | {code:lang=html}construct {?processrun a prov:Activity ;
prov:qualifiedAssociation [ prov:hadPlan ?process] .}
where
{
?processrun ro:describedByProcess ?process .
?process rdf:type wfdesc:Process}{code} | TBC with Dani et al. \\ |
roevo: [http://purl.org/wf4ever/roevo]

| roevo:ChangeSpecification | | rdfs:subClassOf | prov:Activity |
| roevo:LiveRO | | rdfs:subClassOf | prov:Entity |
| roevo:ArchivedRO | | rdfs:subClassOf | prov:Entity |