PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Standard support for safe dynamism and polytypism: by this I mean the ability to load and unload code and types dynamically, with the code properly checked against an expected type signature and safe failure semantics.
http://www.w3.org/ns/prov#wasQuotedFrom
  • lambda-the-ultimate.org