Reactivate Module Extraction
As described in #1 Module extraction caused serious errors. However module extraction is performance improving especially for very complex ontologies and should be reactivated again for 0.1.4.
Check if it behaves more stable now and for which reasoners.