@Override default Stream<OWLIndividual> operands() { return individuals(); }
@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 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.individuals().count() > 1) { throw new IllegalStateException("ObjectOneOf with more than one individual!"); } return ce; }
/** * Gets the individuals that are in the oneOf. These individuals represent the exact instances * (extension) of this class expression. * * @return The individiauls that are the values of this {@code ObjectOneOf} class expression. * @deprecated use the stream method */ @Deprecated default Set<OWLIndividual> getIndividuals() { return asSet(individuals()); }
@Override public void visit(OWLObjectOneOf ce) { sb.append("ObjectOneOf("); render(ce.individuals()); sb.append(')'); }
@Override public void visit(OWLObjectOneOf ce) { obj = df.getOWLObjectOneOf(set(ce.individuals())); }
@Override public OWLObjectOneOf visit(OWLObjectOneOf ce) { return df.getOWLObjectOneOf(list(ce.individuals())); }
@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 void visit(OWLObjectOneOf ce) { writeOpenBracket(); write(ONE_OF); ce.individuals().forEach(this::write); writeCloseBracket(); }
@Override public void visit(OWLObjectOneOf ce) { writeOpenBracket(); write(ONE_OF); ce.individuals().forEach(this::write); writeCloseBracket(); }
@Override public void visit(OWLObjectOneOf ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.individuals().forEach(a -> a.accept(this)); walkerCallback.popClassExpression(); }
@Override public void visit(OWLObjectOneOf ce) { writer.writeStartElement(OBJECT_ONE_OF); render(ce.individuals()); writer.writeEndElement(); }
@Override public void visit(OWLObjectOneOf ce) { write("{"); write(ce.individuals(), ONE_OF_DELIMETER, false); write("}"); }
@Override public void visit(OWLObjectOneOf ce) { write("{"); write(ce.individuals(), ONE_OF_DELIMETER, false); write("}"); }
@Override public void visit(OWLObjectOneOf ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.individuals().forEach(a -> a.accept(this)); walkerCallback.popClassExpression(); }
@Override public void visit(OWLObjectOneOf ce) { writer.writeStartElement(OBJECT_ONE_OF); render(ce.individuals()); writer.writeEndElement(); }
@Override public void visit(OWLObjectOneOf ce) { translateAnonymousNode(ce); addTriple(ce, RDF_TYPE.getIRI(), OWL_CLASS.getIRI()); addListTriples(ce, OWL_ONE_OF.getIRI(), ce.individuals()); processIfAnonymous(ce.individuals(), null); }
@Override public void visit(OWLObjectOneOf ce) { write(OBJECT_ONE_OF); writeOpenBracket(); write(ce.individuals()); writeCloseBracket(); }
@Override public void visit(OWLObjectOneOf ce) { write(OBJECT_ONE_OF); writeOpenBracket(); write(ce.individuals()); writeCloseBracket(); }