| http://www.w3.org/ns/prov#value | - Function and relation name punning, and the use of a single name for functions and relations with different numbers of arguments, can be eliminated by some systematic renaming convention, such as by postfixing -fun and -rel to the function and relation cases, and -n, for some suitable numeral n, to indicate the number of arguments.
|
