Datalog Reasoning over Compressed RDF Knowledge Bases