Program: 9443
Project: 9443
Buggy source:
private static void run() throws OWLOntologyCreationException, ComponentInitException {
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  Set<Individual> posExamples=makeIndividuals(posExampleUris);
  Set<Individual> negExamples=makeIndividuals(negExampleUris);
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  OWLOntologyManager man=OWLManager.createOWLOntologyManager();
  OWLOntology ontology=man.loadOntologyFromOntologyDocument(new File(kbPathStr));
  logger.debug("String_Node_Str" + ontology.getAxiomCount() + "String_Node_Str");
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  KnowledgeSource ks=new OWLAPIOntology(ontology);
  ks.init();
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  OWLAPIReasoner baseReasoner=new OWLAPIReasoner(ks);
  baseReasoner.setReasonerTypeString("String_Node_Str");
  baseReasoner.setUseFallbackReasoner(true);
  baseReasoner.init();
  Logger.getLogger(ElkReasoner.class).setLevel(Level.OFF);
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  MaterializableFastInstanceChecker cwReasoner=new MaterializableFastInstanceChecker(ks);
  cwReasoner.setReasonerComponent(baseReasoner);
  cwReasoner.setHandlePunning(false);
  cwReasoner.setUseMaterializationCaching(false);
  cwReasoner.setMaterializeExistentialRestrictions(true);
  cwReasoner.init();
  logger.debug("String_Node_Str");
  AbstractReasonerComponent rc=cwReasoner;
  logger.debug("String_Node_Str");
  PosNegLPStandard lp=new PosNegLPStandard(rc);
  lp.setPositiveExamples(posExamples);
  lp.setNegativeExamples(negExamples);
  lp.init();
  logger.debug("String_Node_Str");
  Description d=new ObjectSomeRestriction(new ObjectProperty("String_Node_Str"),Thing.instance);
  System.out.println(d + "String_Node_Str" + lp.getAccuracyOrTooWeak(d,1.0));
  logger.debug("String_Node_Str");
  AbstractCELA la;
  OEHeuristicRuntime heuristic=new OEHeuristicRuntime();
  heuristic.setExpansionPenaltyFactor(0.01);
  CELOE celoe=new CELOE(lp,rc);
  celoe.setHeuristic(heuristic);
  celoe.setMaxExecutionTimeInSeconds(300);
  celoe.setNoisePercentage(50);
  celoe.setMaxNrOfResults(10);
  celoe.setWriteSearchTree(true);
  celoe.setReplaceSearchTree(true);
  la=celoe;
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  RhoDRDown op=new RhoDRDown();
  op.setUseHasValueConstructor(true);
  op.setInstanceBasedDisjoints(true);
  op.setUseNegation(false);
  op.setUseHasValueConstructor(false);
  op.setReasoner(rc);
  op.setSubHierarchy(rc.getClassHierarchy());
  op.setObjectPropertyHierarchy(rc.getObjectPropertyHierarchy());
  op.setDataPropertyHierarchy(rc.getDatatypePropertyHierarchy());
  op.init();
  logger.debug("String_Node_Str");
  if (la instanceof CELOE)   ((CELOE)la).setOperator(op);
  la.init();
  la.start();
  logger.debug("String_Node_Str");
}

Fixed version (ground truth):
private static void run() throws OWLOntologyCreationException, ComponentInitException {
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  Set<Individual> posExamples=makeIndividuals(posExampleUris);
  Set<Individual> negExamples=makeIndividuals(negExampleUris);
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  OWLOntologyManager man=OWLManager.createOWLOntologyManager();
  OWLOntology ontology=man.loadOntologyFromOntologyDocument(new File(kbPathStr));
  logger.debug("String_Node_Str" + ontology.getAxiomCount() + "String_Node_Str");
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  KnowledgeSource ks=new OWLAPIOntology(ontology);
  ks.init();
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  OWLAPIReasoner baseReasoner=new OWLAPIReasoner(ks);
  baseReasoner.setReasonerTypeString("String_Node_Str");
  baseReasoner.setUseFallbackReasoner(true);
  baseReasoner.init();
  Logger.getLogger(ElkReasoner.class).setLevel(Level.OFF);
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  MaterializableFastInstanceChecker cwReasoner=new MaterializableFastInstanceChecker(ks);
  cwReasoner.setReasonerComponent(baseReasoner);
  cwReasoner.setHandlePunning(false);
  cwReasoner.setUseMaterializationCaching(false);
  cwReasoner.setMaterializeExistentialRestrictions(true);
  cwReasoner.init();
  logger.debug("String_Node_Str");
  AbstractReasonerComponent rc=cwReasoner;
  logger.debug("String_Node_Str");
  PosNegLPStandard lp=new PosNegLPStandard(rc);
  lp.setPositiveExamples(posExamples);
  lp.setNegativeExamples(negExamples);
  lp.init();
  logger.debug("String_Node_Str");
  Description d=new Intersection(new NamedClass("String_Node_Str"),new ObjectSomeRestriction(new ObjectProperty("String_Node_Str"),Thing.instance));
  System.out.println(d + "String_Node_Str" + lp.getAccuracyOrTooWeak(d,1.0));
  logger.debug("String_Node_Str");
  AbstractCELA la;
  OEHeuristicRuntime heuristic=new OEHeuristicRuntime();
  heuristic.setExpansionPenaltyFactor(0.1);
  CELOE celoe=new CELOE(lp,rc);
  celoe.setHeuristic(heuristic);
  celoe.setMaxExecutionTimeInSeconds(600);
  celoe.setNoisePercentage(50);
  celoe.setMaxNrOfResults(100);
  celoe.setWriteSearchTree(true);
  celoe.setReplaceSearchTree(true);
  la=celoe;
  logger.debug("String_Node_Str");
  logger.debug("String_Node_Str");
  RhoDRDown op=new RhoDRDown();
  op.setUseHasValueConstructor(true);
  op.setInstanceBasedDisjoints(true);
  op.setUseNegation(false);
  op.setUseHasValueConstructor(false);
  op.setReasoner(rc);
  op.setSubHierarchy(rc.getClassHierarchy());
  op.setObjectPropertyHierarchy(rc.getObjectPropertyHierarchy());
  op.setDataPropertyHierarchy(rc.getDatatypePropertyHierarchy());
  op.init();
  Set<Description> refinements=op.refine(d,6);
  for (  Description ref : refinements) {
    System.out.println(ref + "String_Node_Str" + lp.getAccuracyOrTooWeak(ref,1.0));
  }
  logger.debug("String_Node_Str");
  if (la instanceof CELOE)   ((CELOE)la).setOperator(op);
  la.init();
  la.start();
  logger.debug("String_Node_Str");
}