Program: 9748
Project: 9748
Buggy source:
@Override public void init() throws ComponentInitException {
  atomicConcepts=new TreeSet<NamedClass>(conceptComparator);
  atomicRoles=new TreeSet<ObjectProperty>(roleComparator);
  datatypeProperties=new TreeSet<DatatypeProperty>();
  booleanDatatypeProperties=new TreeSet<DatatypeProperty>();
  doubleDatatypeProperties=new TreeSet<DatatypeProperty>();
  intDatatypeProperties=new TreeSet<DatatypeProperty>();
  individuals=new TreeSet<Individual>();
  manager=OWLManager.createOWLOntologyManager();
  factory=manager.getOWLDataFactory();
  Comparator<OWLNamedObject> namedObjectComparator=new Comparator<OWLNamedObject>(){
    public int compare(    OWLNamedObject o1,    OWLNamedObject o2){
      return o1.getIRI().compareTo(o2.getIRI());
    }
  }
;
  Set<OWLClass> classes=new TreeSet<OWLClass>(namedObjectComparator);
  Set<OWLObjectProperty> owlObjectProperties=new TreeSet<OWLObjectProperty>(namedObjectComparator);
  Set<OWLDataProperty> owlDatatypeProperties=new TreeSet<OWLDataProperty>(namedObjectComparator);
  Set<OWLNamedIndividual> owlIndividuals=new TreeSet<OWLNamedIndividual>(namedObjectComparator);
  loadedOntologies=new HashSet<OWLOntology>();
  Set<OWLOntology> allImports=new HashSet<OWLOntology>();
  prefixes=new TreeMap<String,String>();
  for (  KnowledgeSource source : sources) {
    if (source instanceof OWLFile || source instanceof SparqlKnowledgeSource || source instanceof OWLAPIOntology) {
      URL url=null;
      if (source instanceof OWLFile) {
        url=((OWLFile)source).getURL();
      }
      if (source instanceof OWLAPIOntology) {
        ontology=((OWLAPIOntology)source).getOWLOntolgy();
      }
 else       if (source instanceof SparqlKnowledgeSource) {
        ontology=((SparqlKnowledgeSource)source).getOWLAPIOntology();
        manager=ontology.getOWLOntologyManager();
      }
 else {
        try {
          ontology=manager.loadOntologyFromOntologyDocument(IRI.create(url.toURI()));
        }
 catch (        OWLOntologyCreationException e) {
          e.printStackTrace();
        }
catch (        URISyntaxException e) {
          e.printStackTrace();
        }
      }
      owlAPIOntologies.add(ontology);
      Set<OWLOntology> imports=manager.getImportsClosure(ontology);
      allImports.addAll(imports);
      loadedOntologies.addAll(imports);
      classes.addAll(ontology.getClassesInSignature(true));
      owlObjectProperties.addAll(ontology.getObjectPropertiesInSignature(true));
      owlDatatypeProperties.addAll(ontology.getDataPropertiesInSignature(true));
      owlIndividuals.addAll(ontology.getIndividualsInSignature(true));
      OWLOntologyFormat format=manager.getOntologyFormat(ontology);
      if (format instanceof PrefixOWLOntologyFormat) {
        prefixes.putAll(((PrefixOWLOntologyFormat)format).getPrefixName2PrefixMap());
        baseURI=((PrefixOWLOntologyFormat)format).getDefaultPrefix();
        prefixes.remove("String_Node_Str");
      }
      for (      OWLClass owlClass : classes)       atomicConcepts.add(new NamedClass(owlClass.toStringID()));
      for (      OWLObjectProperty owlProperty : owlObjectProperties)       atomicRoles.add(new ObjectProperty(owlProperty.toStringID()));
      for (      OWLDataProperty owlProperty : owlDatatypeProperties) {
        DatatypeProperty dtp=new DatatypeProperty(owlProperty.toStringID());
        Set<OWLDataRange> ranges=owlProperty.getRanges(allImports);
        for (        OWLDataRange range : ranges) {
          if (range.isDatatype()) {
            if (range.asOWLDatatype().isBoolean())             booleanDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isDouble())             doubleDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isInteger())             intDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isString())             stringDatatypeProperties.add(dtp);
          }
        }
        datatypeProperties.add(dtp);
      }
      for (      OWLNamedIndividual owlIndividual : owlIndividuals) {
        individuals.add(new Individual(owlIndividual.toStringID()));
      }
    }
 else {
      KB kb=source.toKB();
      IRI ontologyIRI=IRI.create("String_Node_Str");
      ontology=null;
      try {
        ontology=manager.createOntology(ontologyIRI);
      }
 catch (      OWLOntologyCreationException e) {
        e.printStackTrace();
      }
      OWLAPIAxiomConvertVisitor.fillOWLOntology(manager,ontology,kb);
      owlAPIOntologies.add(ontology);
      allImports.add(ontology);
      atomicConcepts.addAll(kb.findAllAtomicConcepts());
      atomicRoles.addAll(kb.findAllAtomicRoles());
      individuals.addAll(kb.findAllIndividuals());
    }
  }
  PelletOptions.USE_CLASSIFICATION_MONITOR=PelletOptions.MonitorType.NONE;
  Logger pelletLogger=Logger.getLogger("String_Node_Str");
  pelletLogger.setLevel(Level.WARN);
  reasoner=PelletReasonerFactory.getInstance().createNonBufferingReasoner(ontology);
  classifier=PelletIncremantalReasonerFactory.getInstance().createReasoner(reasoner);
}

Fixed version (ground truth):
@Override public void init() throws ComponentInitException {
  atomicConcepts=new TreeSet<NamedClass>(conceptComparator);
  atomicRoles=new TreeSet<ObjectProperty>(roleComparator);
  datatypeProperties=new TreeSet<DatatypeProperty>();
  booleanDatatypeProperties=new TreeSet<DatatypeProperty>();
  doubleDatatypeProperties=new TreeSet<DatatypeProperty>();
  intDatatypeProperties=new TreeSet<DatatypeProperty>();
  individuals=new TreeSet<Individual>();
  manager=OWLManager.createOWLOntologyManager();
  factory=manager.getOWLDataFactory();
  Comparator<OWLNamedObject> namedObjectComparator=new Comparator<OWLNamedObject>(){
    public int compare(    OWLNamedObject o1,    OWLNamedObject o2){
      return o1.getIRI().compareTo(o2.getIRI());
    }
  }
;
  Set<OWLClass> classes=new TreeSet<OWLClass>(namedObjectComparator);
  Set<OWLObjectProperty> owlObjectProperties=new TreeSet<OWLObjectProperty>(namedObjectComparator);
  Set<OWLDataProperty> owlDatatypeProperties=new TreeSet<OWLDataProperty>(namedObjectComparator);
  Set<OWLNamedIndividual> owlIndividuals=new TreeSet<OWLNamedIndividual>(namedObjectComparator);
  loadedOntologies=new HashSet<OWLOntology>();
  Set<OWLOntology> allImports=new HashSet<OWLOntology>();
  prefixes=new TreeMap<String,String>();
  for (  KnowledgeSource source : sources) {
    if (source instanceof OWLFile || source instanceof SparqlKnowledgeSource || source instanceof OWLAPIOntology) {
      URL url=null;
      if (source instanceof OWLFile) {
        url=((OWLFile)source).getURL();
      }
      if (source instanceof OWLAPIOntology) {
        ontology=((OWLAPIOntology)source).getOWLOntolgy();
        manager=ontology.getOWLOntologyManager();
      }
 else       if (source instanceof SparqlKnowledgeSource) {
        ontology=((SparqlKnowledgeSource)source).getOWLAPIOntology();
        manager=ontology.getOWLOntologyManager();
      }
 else {
        try {
          ontology=manager.loadOntologyFromOntologyDocument(IRI.create(url.toURI()));
        }
 catch (        OWLOntologyCreationException e) {
          e.printStackTrace();
        }
catch (        URISyntaxException e) {
          e.printStackTrace();
        }
      }
      owlAPIOntologies.add(ontology);
      Set<OWLOntology> imports=manager.getImportsClosure(ontology);
      allImports.addAll(imports);
      loadedOntologies.addAll(imports);
      classes.addAll(ontology.getClassesInSignature(true));
      owlObjectProperties.addAll(ontology.getObjectPropertiesInSignature(true));
      owlDatatypeProperties.addAll(ontology.getDataPropertiesInSignature(true));
      owlIndividuals.addAll(ontology.getIndividualsInSignature(true));
      OWLOntologyFormat format=manager.getOntologyFormat(ontology);
      if (format instanceof PrefixOWLOntologyFormat) {
        prefixes.putAll(((PrefixOWLOntologyFormat)format).getPrefixName2PrefixMap());
        baseURI=((PrefixOWLOntologyFormat)format).getDefaultPrefix();
        prefixes.remove("String_Node_Str");
      }
      for (      OWLClass owlClass : classes)       atomicConcepts.add(new NamedClass(owlClass.toStringID()));
      for (      OWLObjectProperty owlProperty : owlObjectProperties)       atomicRoles.add(new ObjectProperty(owlProperty.toStringID()));
      for (      OWLDataProperty owlProperty : owlDatatypeProperties) {
        DatatypeProperty dtp=new DatatypeProperty(owlProperty.toStringID());
        Set<OWLDataRange> ranges=owlProperty.getRanges(allImports);
        for (        OWLDataRange range : ranges) {
          if (range.isDatatype()) {
            if (range.asOWLDatatype().isBoolean())             booleanDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isDouble())             doubleDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isInteger())             intDatatypeProperties.add(dtp);
 else             if (range.asOWLDatatype().isString())             stringDatatypeProperties.add(dtp);
          }
        }
        datatypeProperties.add(dtp);
      }
      for (      OWLNamedIndividual owlIndividual : owlIndividuals) {
        individuals.add(new Individual(owlIndividual.toStringID()));
      }
    }
 else {
      KB kb=source.toKB();
      IRI ontologyIRI=IRI.create("String_Node_Str");
      ontology=null;
      try {
        ontology=manager.createOntology(ontologyIRI);
      }
 catch (      OWLOntologyCreationException e) {
        e.printStackTrace();
      }
      OWLAPIAxiomConvertVisitor.fillOWLOntology(manager,ontology,kb);
      owlAPIOntologies.add(ontology);
      allImports.add(ontology);
      atomicConcepts.addAll(kb.findAllAtomicConcepts());
      atomicRoles.addAll(kb.findAllAtomicRoles());
      individuals.addAll(kb.findAllIndividuals());
    }
  }
  PelletOptions.USE_CLASSIFICATION_MONITOR=PelletOptions.MonitorType.NONE;
  Logger pelletLogger=Logger.getLogger("String_Node_Str");
  pelletLogger.setLevel(Level.WARN);
  reasoner=PelletReasonerFactory.getInstance().createNonBufferingReasoner(ontology);
  classifier=PelletIncremantalReasonerFactory.getInstance().createReasoner(reasoner);
}