code: @Override
      public OWLAxiom visit(OWLSubClassOfAxiom axiom) {
          return dataFactory.getOWLSubClassOfAxiom(
                  axiom.getSubClass().accept(this),
                  axiom.getSuperClass().accept(this));
      }
docs: Conversion of non-class expressions to NNF