| http://www.w3.org/ns/prov#value | - There are two cases, (1) in which a function is considered constant zero only if it is total and constant zero and (2) in which a function is considered constant zero if for every input in its domain (which in general is a subset of the natural numbers) the output is zero.
|
