// module is extracted with top locality and thus also called top module.
//
// Upper-of-lower and lower-of-upper modules tend to be smaller (compared
// to upper and lower modules) and we'll extract upper-of-lower module in
// this example
ModuleType moduleType = ModuleType.BOT_OF_TOP;
// Extract the module axioms for the specified signature
Set<OWLAxiom> moduleAxioms =
ModularityUtils.extractModule( ontology, signature, moduleType );
// Create an ontology for the module axioms