PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ...hmm. (I should probably clarify: when I say use causal graphs to reason about, I do not mean in the 'trivial' sense you are actually using where the platonic computations cause other things but are themselves uncaused in the model; I mean some sort of system where different computations and/or logical facts about computations form a non-degenerate graph, and where do() severs one node somewher
http://www.w3.org/ns/prov#wasQuotedFrom
  • lesswrong.com