Set<OWLLogicalAxiom> axioms = this.fullTBox.getLogicalAxioms();
/* Iterate over all logical axioms and rewrite them if necessary. Add each (possibly rewritten) axiom to
* the approximated Tbix */
//long axiomRewritingTimeStart = System.nanoTime();
Timer timerRewrite = timers.startTimer("rewrite");
for (OWLLogicalAxiom ca : axioms){
//logger.info("Axiom: "+ca.toString());
if (!(ca instanceof OWLClassAssertionAxiom) && !(ca instanceof OWLIndividualAxiom)){
if (ca instanceof OWLSubClassAxiom){
//logger.info("");