| 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
|