code: package experiment.exp.corpus;
  
  import experiment.ont.*;
  import experiment.util.*;
  
  import java.io.*;
  import java.util.*;
  import java.util.stream.*;
  import org.semanticweb.owlapi.util.*;
  import org.semanticweb.owlapi.model.OWLOntologyManager;
  import org.semanticweb.owlapi.apibinding.OWLManager;
  import org.semanticweb.owlapi.model.parameters.Imports;
  import org.semanticweb.owlapi.model.parameters.*;
  import org.semanticweb.owlapi.formats.OWLXMLDocumentFormat;
  import org.semanticweb.owlapi.formats.RDFXMLDocumentFormat;
  import org.semanticweb.owlapi.model.*;
  import org.semanticweb.owlapi.reasoner.*;
  import org.semanticweb.HermiT.ReasonerFactory;
  import java.util.logging.Logger;
  import java.util.logging.ConsoleHandler;
  import java.util.logging.Level;
  import java.util.logging.*;
  import org.semanticweb.elk.owlapi.ElkReasonerFactory;
  import org.semanticweb.owlapi.change.AxiomChangeData;
  import org.semanticweb.owlapi.search.EntitySearcher; 
  
  import java.nio.file.*;
  
  import uk.ac.manchester.cs.owlapi.modularity.SyntacticLocalityModuleExtractor;
  import uk.ac.manchester.cs.owlapi.modularity.ModuleType;
  
  import org.jgrapht.*;
  import org.jgrapht.graph.*;
  import org.jgrapht.traverse.*;
  
  /**
   * A class to demonstrate the functionality of the library.
   */
  public class LoadCheck {
  
      private static final Logger log = Logger.getLogger(String.valueOf(LoadCheck.class));
  
      public static void main(String[] args) throws IOException , Exception{
  
          String ontFilePath = args[0]; 
          String outputPath = args[1];
  
          File ontFile = new File(ontFilePath);
          OntologyChecker checker = new OntologyChecker(ontFilePath, outputPath);
          if(checker.isLoadable()){
              IOHelper.writeAppend(ontFile.getName(), outputPath + "/loadable"); 
          } 
      }
  }
  