PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • If we change the question in this form that instead of the residue fields, $K\subseteq L$ is a purely extension then except the above example we have another class of examples with the same result.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com