dbg: added rdflib and prov back
dbg: checking syntax