A System for Processing Large RDF Graphs