PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • For tensors of all other types the covariant derivatives are computed using the requirement that it commutes with contractions and satisfies the product rule with respect to the tensor product.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com