PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Checking that a given set is a basis then just amounts to verifying that any element $v \in V$ can be expressed as a linear combination of the elements of $B$ and that any linear combination of the elements of $B$ that sums to the $0$ vector necessarily implies that the scalars used in the linear combination are all $0$ - otheerwise the expression for $v$ would not necessarily be unique.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com