docs: private OWLClass assignName(OWLClassExpression classExpression, Polarity polarity, OWLClass freshClass) {
          OWLSubClassOfAxiom namingAxiom;
          Set<OWLAnnotation> axiomId = Collections.emptySet();
          if (polarity.isPositive()) {
              namingAxiom = dataFactory.getOWLSubClassOfAxiom(freshClass, classExpression, axiomId);
          }
          else {
              namingAxiom = dataFactory.getOWLSubClassOfAxiom(classExpression, freshClass, axiomId);
          }
          namingAxiom2ModalDepth.put(namingAxiom, modalDepth);
          transformedAxioms.add(namingAxiom);
          return freshClass;
      }