Implementing the Inference Controller ◾ 251
17.7.1 Semantic Associations in the Workflow
We identified various semantic associations such as, if X is a heart surgeon who
updates patient Y record, then patient Y procedures and medications are related
to heart surgery. is would allow the querying user to determine the disease of Y
after querying for Y, X, and Y and X on the same path in the provenance for Y’s
record.
17.8 Implementing Constraints
We describe the encoding of each of the constraints that were described and sum-
marized in the earlier chapters of Section III. Constraints are generally rules, but
may have additional conditions as well. e conditions may specify circumstances
for applying the rules (e.g., some temporal or location ...