PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Both of these questions can be solved using the recursion theorem; there is an article on this on Wikipedia at http://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem , and it is covered in most textbooks.
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com