public void testInit(OWLOntology onto){
    
  	  Noeud root=new Noeud(1);
  	  Set individuals = onto.getIndividualsInSignature();
      Iterator iter1 = individuals.iterator();
      while(iter1.hasNext())
      {    	 
     	  
      	  OWLNamedIndividual ind=(OWLNamedIndividual)iter1.next();
      	  
          Set express = ind.getTypes(onto);
          Tableaux label=new Tableaux();
          for (Iterator desc = express.iterator(); ((Iterator)desc).hasNext(); ) { 
        	  OWLClassExpression exp = (OWLClassExpression)((Iterator)desc).next();
        	  OWLClassExpression expNnf=exp.getNNF();
        	  //System.out.println("**ind expression:  "+expNnf.toString());
        	  Concept c =new Concept(expNnf);
        	  label.addDescription(c);
          }
          String name = nameExtraction(ind.asOWLNamedIndividual().getIRI().toString());
          if(name.equals("C")){
        	  label.setIndicator(true);
              root.setLabelT(label);  
              System.out.println("=========================================");
              System.out.println("La contrainte:");
              label.printTableaux();
              System.out.println("=========================================");
          }

          if(name.equals("D")){
        	  label.setIndicator(false);
              root.setLabelF(label);
              System.out.println("=========================================");
              System.out.println("L'observation:");
              label.printTableaux();
              System.out.println("=========================================");
          }
      }
      // ajouter all the axioms of inclusion to the label F
      ts.addNoeud(root);
      ts.unfoldTBox();
    }