PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Again, it would probably do you some good to play with a theorem prover sometime - building an array-of-known-size type and the appropriate means to avoid bounds checks would be a good beginner's exercise (in fact, the interface is a common example - it can be described as an improvement on a typical list type).
http://www.w3.org/ns/prov#wasQuotedFrom
  • lambda-the-ultimate.org