The method was developed and describes in the research paper Optimal Fixed-Premise Repairs of EL TBoxes and the accompanying technical report.
The packaged JAR file can be downloaded from here.
Run it with command java -jar right-repairs-of-el-tboxes-assembly-0.1.0-SNAPSHOT.jar.