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.