Demonstrating the power of streaming and sorting for non-distributed RDF processing: RDFpro