PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • This is possible in the header file, because the declaration of class X does not require specific details about Y (e.g. the size of an instance); only that Y is a class.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackoverflow.com