| http://www.w3.org/ns/prov#value | - The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by synthetic assertions about diagrams of sets (object classes) and functions (references); correspondingly, queries are operations on such diagrams.
|