Interactive Inference of SPARQL Queries Using Provenance