PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I am at a loss about the true meaning of a universally compelling argument, but from Eliezer's original post and from references to things such as modus ponens itself, I understood it to mean something that is able to overcome even seemingly axiomatic differences between two (otherwise rational) agents.
http://www.w3.org/ns/prov#wasQuotedFrom
  • lesswrong.com