fol->RDF->fol
More work needed: test suite and implementations.
quite different from: RDF->fol->RDF
Sandro Hawke
22 of 23
