// Extract the module axioms for the specified signature
Set<OWLAxiom> moduleAxioms =
ModularityUtils.extractModule( ontology, signature, moduleType );
// Create an ontology for the module axioms
OWLOntology moduleOnt = manager.createOntology( moduleAxioms );
// Get some figures about the extracted module and print them
System.out.println( "The module contains "
+ moduleOnt.getLogicalAxiomCount() + " axioms, "
+ moduleOnt.getClassesInSignature().size() + " classes, and "