| http://www.w3.org/ns/prov#value | - The action types for commitment and precommitment manipulation are defined by axioms describing their constitutive effects, that is, by describing the state of affairs that necessarily hold if a token of a given action type is successfully performed.
|
