| http://www.w3.org/ns/prov#value | - This can again be based on a standard first-order logic semantics, as proposed by Peter Patel-Schneider (in the version of Chris Welty) An XML syntax incorporating several extensions via an XML element for the operator role and XML attributes can be obtained from the above BNF and from A.1 Basis: Positive Conditions as follows: - Data (value constant, including optional attribute for a datatype IR
|
