@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { OWLClassExpression ce = df.getOWLObjectOneOf(ind).getObjectComplementOf(); return getInstances(ce, false); }
@Override public NodeSet<OWLNamedIndividual> getDifferentIndividuals(OWLNamedIndividual ind) { OWLClassExpression ce = df.getOWLObjectOneOf(ind).getObjectComplementOf(); return getInstances(ce, false); }