@NonNull @Override public Boolean visit(@NonNull OWLEquivalentClassesAxiom axiom) { return axiom.getClassExpressions().size() == 1 || axiom.containsOWLThing(); }
thing_Nothing[1] = true; //equivalentToNothing if (equivalentAxiom.containsOWLThing()) thing_Nothing[0] = true; //equivalentToThing });
thing_Nothing[1] = true; //equivalentToNothing if (equivalentAxiom.containsOWLThing()) thing_Nothing[0] = true; //equivalentToThing });
if ( equivalentAxiom.containsOWLThing() ) { equivalentToThing = true;