An inference engine for RDF