PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • The opposite only requires existence of 1 dog with black spots.it is the same with Fermat's Last Theorem: Prove no solutions exist for x^n+y^n=z^n for all integers x,y,z where n is an integer greater than 2.
http://www.w3.org/ns/prov#wasQuotedFrom
  • slashdot.org