Program: 10292
Project: 10292
Buggy source:
public KAON2Reasoner(KB kb,Map<URL,org.dllearner.core.OntologyFormat> imports){
  if (imports.size() > 1)   System.out.println("String_Node_Str");
  kaon2Connection=KAON2Manager.newConnection();
  DefaultOntologyResolver resolver=new DefaultOntologyResolver();
  String ontologyURI="String_Node_Str";
  URL importFile=null;
  if (!imports.isEmpty()) {
    importFile=imports.keySet().iterator().next();
    try {
      ontologyURI=resolver.registerOntology(importFile.toString());
    }
 catch (    KAON2Exception e) {
      e.printStackTrace();
    }
  }
 else {
    resolver.registerReplacement("String_Node_Str","String_Node_Str");
  }
  kaon2Connection.setOntologyResolver(resolver);
  Ontology ontology=null;
  if (!imports.isEmpty()) {
    System.out.print("String_Node_Str" + importFile.toString() + "String_Node_Str");
    ontology=importKB(ontologyURI,imports.get(importFile),kaon2Connection);
  }
 else {
    try {
      ontology=kaon2Connection.createOntology("String_Node_Str",new HashMap<String,Object>());
    }
 catch (    KAON2Exception e1) {
      e1.printStackTrace();
    }
  }
  kaon2Reasoner=getKAON2Reasoner(kb,ontology);
  Request<ObjectProperty> requestRoles=ontology.createEntityRequest(ObjectProperty.class);
  Request<OWLClass> requestConcepts=ontology.createEntityRequest(OWLClass.class);
  Request<org.semanticweb.kaon2.api.owl.elements.Individual> requestIndividuals=ontology.createEntityRequest(org.semanticweb.kaon2.api.owl.elements.Individual.class);
  atomicConcepts=new HashSet<AtomicConcept>();
  atomicRoles=new HashSet<AtomicRole>();
  individuals=new TreeSet<Individual>();
  try {
    for (    ObjectProperty role : requestRoles.get()) {
      atomicRoles.add(new AtomicRole(role.toString()));
    }
    for (    OWLClass concept : requestConcepts.get()) {
      if (!concept.equals(KAON2Manager.factory().thing()) && !concept.equals(KAON2Manager.factory().nothing()))       atomicConcepts.add(new AtomicConcept(concept.toString()));
    }
    for (    org.semanticweb.kaon2.api.owl.elements.Individual ind : requestIndividuals.get()) {
      individuals.add(new Individual(ind.toString()));
    }
    if (una) {
      Set<org.semanticweb.kaon2.api.owl.elements.Individual> individualsSet=new HashSet<org.semanticweb.kaon2.api.owl.elements.Individual>();
      for (      Individual individual : individuals)       individualsSet.add(KAON2Manager.factory().individual(individual.getName()));
      ontology.addAxiom(KAON2Manager.factory().differentIndividuals(individualsSet));
    }
  }
 catch (  KAON2Exception e) {
    e.printStackTrace();
  }
}

Fixed version (ground truth):
public KAON2Reasoner(KB kb,Map<URL,org.dllearner.core.OntologyFormat> imports){
  if (imports.size() > 1)   System.out.println("String_Node_Str");
  try {
    kaon2Connection=KAON2Manager.newConnection();
  }
 catch (  KAON2Exception e2) {
    e2.printStackTrace();
  }
  DefaultOntologyResolver resolver=new DefaultOntologyResolver();
  String ontologyURI="String_Node_Str";
  URL importFile=null;
  if (!imports.isEmpty()) {
    importFile=imports.keySet().iterator().next();
    try {
      ontologyURI=resolver.registerOntology(importFile.toString());
    }
 catch (    KAON2Exception e) {
      e.printStackTrace();
    }
  }
 else {
    resolver.registerReplacement("String_Node_Str","String_Node_Str");
  }
  kaon2Connection.setOntologyResolver(resolver);
  Ontology ontology=null;
  if (!imports.isEmpty()) {
    System.out.print("String_Node_Str" + importFile.toString() + "String_Node_Str");
    ontology=importKB(ontologyURI,imports.get(importFile),kaon2Connection);
  }
 else {
    try {
      ontology=kaon2Connection.createOntology("String_Node_Str",new HashMap<String,Object>());
    }
 catch (    KAON2Exception e1) {
      e1.printStackTrace();
    }
  }
  kaon2Reasoner=getKAON2Reasoner(kb,ontology);
  Request<ObjectProperty> requestRoles=ontology.createEntityRequest(ObjectProperty.class);
  Request<OWLClass> requestConcepts=ontology.createEntityRequest(OWLClass.class);
  Request<org.semanticweb.kaon2.api.owl.elements.Individual> requestIndividuals=ontology.createEntityRequest(org.semanticweb.kaon2.api.owl.elements.Individual.class);
  atomicConcepts=new HashSet<AtomicConcept>();
  atomicRoles=new HashSet<AtomicRole>();
  individuals=new TreeSet<Individual>();
  try {
    for (    ObjectProperty role : requestRoles.get()) {
      atomicRoles.add(new AtomicRole(role.toString()));
    }
    for (    OWLClass concept : requestConcepts.get()) {
      if (!concept.equals(KAON2Manager.factory().thing()) && !concept.equals(KAON2Manager.factory().nothing()))       atomicConcepts.add(new AtomicConcept(concept.toString()));
    }
    for (    org.semanticweb.kaon2.api.owl.elements.Individual ind : requestIndividuals.get()) {
      individuals.add(new Individual(ind.toString()));
    }
    if (una) {
      Set<org.semanticweb.kaon2.api.owl.elements.Individual> individualsSet=new HashSet<org.semanticweb.kaon2.api.owl.elements.Individual>();
      for (      Individual individual : individuals)       individualsSet.add(KAON2Manager.factory().individual(individual.getName()));
      ontology.addAxiom(KAON2Manager.factory().differentIndividuals(individualsSet));
    }
  }
 catch (  KAON2Exception e) {
    e.printStackTrace();
  }
}