@Override public OWLObjectUnionOf getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Collection<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands.map(x -> x)); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands.map(x -> x)); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Stream<? extends OWLClassExpression> operands) { return new OWLObjectUnionOfImpl(operands.map(x -> x)); }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl(new HashSet<>(Arrays.asList( owlClass, new OWLObjectUnionOfImpl(getClassExpressions()))), NO_ANNOTATIONS); }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl( new HashSet<OWLClassExpression>(Arrays.asList(owlClass, new OWLObjectUnionOfImpl(getClassExpressions()))), NO_ANNOTATIONS); }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } else { return new OWLObjectUnionOfImpl(individuals().map(OWLObjectOneOfImpl::new)); } } }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } else { return new OWLObjectUnionOfImpl(individuals().map(OWLObjectOneOfImpl::new)); } } }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl( sorted(OWLClassExpression.class, owlClass, new OWLObjectUnionOfImpl(classExpressions)), NO_ANNOTATIONS); }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl( sorted(OWLClassExpression.class, owlClass, new OWLObjectUnionOfImpl(classExpressions)), NO_ANNOTATIONS); }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl( sorted(OWLClassExpression.class, owlClass, new OWLObjectUnionOfImpl(classExpressions)), NO_ANNOTATIONS); }
@Nonnull @Override public OWLObjectUnionOf getOWLObjectUnionOf( @Nonnull Set<? extends OWLClassExpression> operands) { checkNull(operands, "operands", true); return new OWLObjectUnionOfImpl(operands); }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } else { return new OWLObjectUnionOfImpl(individuals().map(OWLObjectOneOfImpl::new)); } } }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } else { return new OWLObjectUnionOfImpl(individuals().map(OWLObjectOneOfImpl::new)); } } }
@Override public OWLEquivalentClassesAxiom getOWLEquivalentClassesAxiom() { return new OWLEquivalentClassesAxiomImpl( sorted(OWLClassExpression.class, owlClass, new OWLObjectUnionOfImpl(classExpressions)), NO_ANNOTATIONS); }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } Set<OWLClassExpression> ops = new HashSet<OWLClassExpression>(); for (OWLIndividual ind : values) { ops.add(new OWLObjectOneOfImpl(Collections.singleton(ind))); } return new OWLObjectUnionOfImpl(ops); }
@Override public OWLObjectUnionOf getOWLObjectUnionOf(Set<? extends OWLClassExpression> operands) { checkNull(operands, "operands"); return new OWLObjectUnionOfImpl(operands); }
@Override public OWLClassExpression asObjectUnionOf() { if (values.size() == 1) { return this; } else { Set<OWLClassExpression> ops = new HashSet<>(); for (OWLIndividual ind : values) { assert ind != null; ops.add(new OWLObjectOneOfImpl(CollectionFactory.createSet(ind))); } return new OWLObjectUnionOfImpl(ops); } }