PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Then I would put the three vectors in row echelon form and if all rows were non-zero I would conclude that the given set were a basis (exactly as I would if $V= \mathbb{R}^{3}$), is this OK?
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com