PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • To retrieve abstractly therefore we need to be able to generalize any theorem we come across and find out whether there is a theorem which is true without some of the restrictions imposed to prove this instance of the theorem.
http://www.w3.org/ns/prov#wasQuotedFrom
  • univie.ac.at