if (equivalentAxiom.containsOWLNothing()) thing_Nothing[1] = true; //equivalentToNothing
if (equivalentAxiom.containsOWLNothing()) thing_Nothing[1] = true; //equivalentToNothing
equivalentClasses.addAll( equivalentAxiom.getNamedClasses() ); if ( equivalentAxiom.containsOWLNothing() ) { equivalentToNothing = true;