Do not save copy of NNF on  OWL axioms