| http://www.w3.org/ns/prov#value | - The agent a imposes the constraint a. (A,B) imposes the constraints of both A and B-logically, this is the conjunction of A and B. new X in A imposes the constraints of A, but hides the variable X from the other agents--logically, this can be thought of as a form of existential quantification.
|
