Other uses of formulae
Rules as data:
{ ?f :means ?g } => { ?f => ?g. ?g => ?f }.
Trust, provence: handle provenance explicitly
Workflow becomes RDF using log:conclusion etc
RDF Update format
made with just1 or 2 new properties, with formulae.
Tim Berners-Lee
15 of 18