A case study on propagating and updating provenance information using the CIDOC CRM
Techniques for efficiently querying scientific workflow provenance graphs