Consider the snippet of an OPM (Open Provenance Model [8]) graph shown in Fig. 1. It consists of a single wasGeneratedBy edge with two nodes, data artifact A and process P.
['Saumen C. Dey', 'Sean Riddle', 'Bertram Ludäscher']
Provenance analyzer: exploring provenance semantics with logic rules