| http://www.w3.org/ns/prov#value | - The semantic structures Mjk in the last group have many more degrees of freedom: they are required to agree with the other structures in ?? only to the extent that the mappings MCjk must coincide with JC, KC, and ICik on all constants in Const except the ones in the rif:local symbol space. ???
|