@Override public void visit(OWLObjectOneOf ce) { hashCode = primes[46]; hashCode = hashCode * MULT + ce.getIndividuals().hashCode(); }
@Override default Stream<OWLIndividual> operands() { return individuals(); }
@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 default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.individuals().count() == 1) { if (negated) { return getNegation(ce); } else { return ce; } } return ce.asObjectUnionOf().accept(this); }
if(subClass instanceof OWLObjectOneOf) { OWLObjectOneOf objectOneOf = (OWLObjectOneOf) subClass; subClassDisjuncts = objectOneOf.asObjectUnionOf().asDisjunctSet();
@Override default Stream<?> components() { return Stream.of(getOperandsAsList()); }
@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 default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }
@Override default Stream<?> components() { return Stream.of(getOperandsAsList()); }
@Override public void visit(OWLObjectOneOf desc) { hashCode = 229; hashCode = hashCode * MULT + desc.getIndividuals().hashCode(); }
@Override public OWLClassExpression visit(OWLObjectOneOf ce) { if (ce.individuals().count() > 1) { throw new IllegalStateException("ObjectOneOf with more than one individual!"); } return ce; }
@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 default int initHashCode() { return OWLObject.hashIteration(hashIndex(), getOperandsAsList().hashCode()); }
@Override default Stream<?> components() { return Stream.of(getOperandsAsList()); }
@Override public boolean equals(Object obj) { if (!(obj instanceof OWLObjectOneOf)) { return false; } return ((OWLObjectOneOf) obj).getIndividuals().equals(values); }
@Override public OWLClassExpression visit(OWLObjectOneOf object) { if(object.individuals().anyMatch(OWLIndividual::isAnonymous)) throw new IllegalArgumentException("Error: The class expression "+object+" contains anonymous individuals, which is not allowed in OWL 2 (erratum in first OWL 2 spec, to be fixed with next publication of minor corrections). "); return object; } @Override
@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); } }
protected void multipleOneOf(OWLObjectOneOf ce) { if (ce.getOperandsAsList().size() != 1) { violations.add(new UseOfObjectOneOfWithMultipleIndividuals(getCurrentOntology(), getCurrentAxiom(), ce)); } }