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;
    }
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 ; }
}