@SuppressWarnings("null")
    public void loadKB(OWLOntology onto){
  	  // done get all the axioms in TBOX and put in to kb
  	  HashMap<OWLClassExpression,Concept>equivAxioms =new HashMap();
  	  HashMap<OWLClassExpression,Concept>subAxioms =new HashMap();
  	  
  	  //System.out.println(onto.getAxioms().size());
  	  
  	  //System.out.println(onto.getAxioms(AxiomType.EQUIVALENT_CLASSES).size());
  	  Iterator iterAssAxiom=onto.getAxioms(AxiomType.EQUIVALENT_CLASSES).iterator();
  	  while(iterAssAxiom.hasNext()){
  		  OWLEquivalentClassesAxiom axiom=(OWLEquivalentClassesAxiom)iterAssAxiom.next();
  		  if(axiom.getClassExpressionsAsList().size()==2){
  			  //Concept left=new Concept(axiom.getClassExpressionsAsList().get(0));
  			  OWLClassExpression left=axiom.getClassExpressionsAsList().get(0);
  			  Concept right=new Concept(axiom.getClassExpressionsAsList().get(1));
  			  equivAxioms.put(left, right); 
  		  }
  		  else
  			  System.out.println("axioms no correct");
  		  //System.out.println(axiom.getClassExpressions());
  	  }
  	  //System.out.println(onto.getAxioms(AxiomType.SUBCLASS_OF).size());
  	  Iterator iterSubAxiom=onto.getAxioms(AxiomType.SUBCLASS_OF).iterator();
  	  while(iterSubAxiom.hasNext()){
  		  OWLSubClassOfAxiom axiom=(OWLSubClassOfAxiom)iterSubAxiom.next();
  		  //Concept left=new Concept(axiom.getSubClass());
  		OWLClassExpression left=axiom.getSubClass();
  		  Concept right=new Concept(axiom.getSuperClass());
  		  subAxioms.put(left, right); 

  	  }
  	  kb.setEquivAxiom(equivAxioms);
  	  kb.setSubAxiom(subAxioms);
  	  
  	  ArrayList<Concept> concepts = new ArrayList<Concept>();
  	  Iterator iterClass=onto.getClassesInSignature().iterator();
  	  while(iterClass.hasNext()){
  		  //System.out.println((OWLClassExpression)iterClass.next());
  		  Concept concept=new Concept((OWLClassExpression)iterClass.next());
  		  //OWLClassExpression exp=(OWLClassExpression)iterClass.next();
  		  concepts.add(concept);
  	  }
  	  kb.setConcepts (concepts);
  	  
  	System.out.println(" La connaissance est chargée.");
//  	  System.out.println(onto.getClassesInSignature().size());
//  	  Iterator iterClass=onto.getClassesInSignature().iterator();
//  	  while(iterClass.hasNext()){
//  		  System.out.println(iterClass.next().toString());
  	  
    }