Extracting Bounded-Level Modules from Deductive RDF Triplestores