Architecture for an Inference Controller ◾ 179
<policies>
<policy ID="1">
<description>description</description>
<lhs>
<chain>
<start> provac:Doc_4</start>
<path>
[opm:WasDerivedFrom]+ artifact AND artifact
[opm:WasGeneratedBy] process AND process
[opm:WasControlledBy] physician
</path>
</lhs>
<rhs>_:A1</rhs>
<condition>
<application>null</application>
<attribute>null</attribute>
</condition>
<embedding>
<pre>null</pre>
<post>(provac:HeartSurgery_1,opm:Used, _:A1)</post>
</embedding>
</policy>
</policies>
is policy would evaluate over a provenance graph, replacing any path that
starts with a node labeled Doc_4 and connected to a process via a WasGeneratedBy
link followed by a WasControlledBy link that has an end node labeled as physician
(or is of type physicia ...