PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • In the broad lines, you convert a sequence of instructions a=f[in1] ; b=g[in2] ; c=h[a,b] ; d=k ??? into a function composition by taking the last instruction, replacing the variables by their expressions and so forth :d=k[ h[a, b] ]d=k[ h[ f[in1], g[in2] ] ]hence :Output[v1_, v2_] := k[ h[ f[ v1 ], g[ v2 ] ] ]Also, when an instruction is a repetition (Do, For, While), try to rewrite it by using N
http://www.w3.org/ns/prov#wasQuotedFrom
  • wolfram.com