@Override public OWLClassExpression visit(OWLObjectOneOf desc) { if (desc.getIndividuals().size() == 1) { if (negated) { return getNegation(desc); } else { return desc; } } else { return desc.asObjectUnionOf().accept(this); } }
@Override public OWLClassExpression visit(OWLObjectOneOf desc) { if (desc.getIndividuals().size() == 1) { if (negated) { return getNegation(desc); } else { return desc; } } else { return desc.asObjectUnionOf().accept(this); } }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.individuals().count() == 1) { if (negated) { return getNegation(ce); } else { return ce; } } return ce.asObjectUnionOf().accept(this); }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.getIndividuals().size() == 1) { if (negated) { return getNegation(ce); } else { return ce; } } else { return ce.asObjectUnionOf().accept(this); } }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.individuals().count() == 1) { if (negated) { return getNegation(ce); } else { return ce; } } return ce.asObjectUnionOf().accept(this); }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.individuals().count() == 1) { if (negated) { return getNegation(ce); } else { return ce; } } return ce.asObjectUnionOf().accept(this); }
public OWLClassExpression visit(OWLObjectOneOf desc) { if (desc.getIndividuals().size() == 1) { if (negated) { return getNegation(desc); } else { return desc; } } else { return desc.asObjectUnionOf().accept(this); } }
if(subClass instanceof OWLObjectOneOf) { OWLObjectOneOf objectOneOf = (OWLObjectOneOf) subClass; subClassDisjuncts = objectOneOf.asObjectUnionOf().asDisjunctSet();