rdfsolve
