PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Well, there was a comment here (the author seems to have deleted it) stating that the category of $\mathcal{O}$-modules is not of this form.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net