@Override public Boolean visit(OWLObjectIntersectionOf ce) { return Boolean.valueOf(ce.operands().anyMatch(op -> op.accept(this).booleanValue())); } }
@Override public void visit(OWLObjectIntersectionOf ce) { sb.append("ObjectIntersectionOf("); render(ce.operands()); sb.append(')'); }
@Override public Boolean visit(OWLObjectIntersectionOf ce) { return Boolean .valueOf(ce.operands().noneMatch(e -> e.accept(this) == Boolean.FALSE)); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderObjectIntersectionOf(OWLObjectIntersectionOf expected, OWLDataFactory df) { this(df); withItems(expected.operands()); }
@Override public void visit(OWLObjectIntersectionOf ce) { Iterator<? extends OWLClassExpression> it = ce.operands().iterator(); while (it.hasNext()) { it.next().accept(this); if (found && !collect) { return; } } } }
@Override public void visit(OWLObjectIntersectionOf ce) { ce.operands().forEach(op -> op.accept(this)); } }
@Override public Boolean visit(OWLObjectIntersectionOf ce) { return Boolean .valueOf(ce.operands().noneMatch(e -> e.accept(this) == Boolean.FALSE)); }
@Override public void visit(OWLObjectIntersectionOf expr) { expr.operands().forEach(p -> p.accept(this)); }
@Override public void visit(OWLObjectIntersectionOf expr) { isTopEq = !expr.operands().anyMatch(p -> !isTopEquivalent(p)); }
@Override public Boolean visit(OWLObjectIntersectionOf ce) { return Boolean .valueOf(ce.operands().allMatch(op -> isOWL2RLSubClassExpression(op))); }
@Override public void visit(OWLObjectIntersectionOf ce) { addConstruct(CONCEPT_INTERSECTION); ce.operands().forEach(o -> o.accept(this)); }
@Override public void visit(OWLObjectIntersectionOf ce) { addConstruct(CONCEPT_INTERSECTION); ce.operands().forEach(o -> o.accept(this)); }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf ce) { OWLClass name = createNewName(); ce.operands().forEach(op -> axioms.add(getSCA(name, op.accept(this)))); return name; }
@Override public OWLObjectIntersectionOf visit(OWLObjectIntersectionOf ce) { return df.getOWLObjectIntersectionOf(list(ce.operands())); }
@Override public OWLClassExpression visit(OWLObjectIntersectionOf ce) { Stream<OWLClassExpression> ops = ce.operands().map(p -> p.accept(this)); if (negated) { return df.getOWLObjectUnionOf(ops); } return df.getOWLObjectIntersectionOf(ops); }
@Override public void visit(OWLObjectIntersectionOf ce) { walkerCallback.pushClassExpression(ce); process(ce); ce.operands().forEach(a -> a.accept(this)); walkerCallback.popClassExpression(); }
@Override public void visit(OWLObjectIntersectionOf ce) { writer.writeStartElement(OBJECT_INTERSECTION_OF); render(ce.operands()); writer.writeEndElement(); }
@Override public void visit(OWLObjectIntersectionOf ce) { writer.writeStartElement(OBJECT_INTERSECTION_OF); render(ce.operands()); writer.writeEndElement(); }
@Override public void visit(OWLObjectIntersectionOf ce) { writeOpenBracket().write(ce.operands(), keyword("and")).writeCloseBracket(); }