Introducing RDF Graph Summary With Application to Assisted SPARQL Formulation