PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In Wimsatt's paper Reductive Explanation: A Functional Account there is a section called Differentiating types of reduction for a richer vision which start explain the difference between inter-level reductions and intra-level reduction.
http://www.w3.org/ns/prov#wasQuotedFrom
  • umn.edu