Do not save copy of NNF on  OWL axioms
Merge pull request #294 from sesuncedu/version4_no_nnf_cache

Do not save copy of NNF on  OWL axioms