http://www.w3.org/ns/prov#value | - So I shall assume an ontology of propositions, properties and relations ??? where propositions, properties and relations are universals, which may have a complex structure, being composed, by means of operations analogous to predication, conjunction, negation, and so on, out of objects such as individuals, propositions and relations.[2] (In effect, propositions are 0-place universals, monadic prop
|