PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In early 1870 W. Stanley Jevons presented a Logical Machine (Jevons 1880:200) for analyzing a syllogism or other logical form e.g. an argument reduced to a Boolean equation.
http://www.w3.org/ns/prov#wasQuotedFrom
  • wikipedia.org