@Override public OWLDataIntersectionOf buildObject() { return df.getOWLDataIntersectionOf(items); } }
@Override public OWLDataIntersectionOf buildObject() { return df.getOWLDataIntersectionOf(items); } }
@Override public OWLDataIntersectionOf buildObject() { return df.getOWLDataIntersectionOf(items); } }
@Override public OWLDataRange visit(OWLDataIntersectionOf range) { return m_factory.getOWLDataIntersectionOf(range.operands().map(ExpressionManager.this::getNNF)); } @Override
public OWLDataRange visit(OWLDataIntersectionOf range) { Set<OWLDataRange> newConjuncts=new HashSet<OWLDataRange>(); for (OWLDataRange dr : range.getOperands()) newConjuncts.add(getNNF(dr)); return m_factory.getOWLDataIntersectionOf(newConjuncts); } public OWLDataRange visit(OWLDataUnionOf range) {
@Override protected void endDataRangeElement() throws OWLXMLParserException { setDataRange(getOWLDataFactory().getOWLDataIntersectionOf(dataRanges)); } }
@Override public Object read(OWLInputStream in) throws IOException { Set<OWLDataRange> operands = in.readSet(OWLDataRange.class); return in.getOWLDataFactory().getOWLDataIntersectionOf(operands); }
@Override public OWLDataRange visit(OWLDataUnionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { // Flip to an intersection return df.getOWLDataIntersectionOf(ops); } return df.getOWLDataUnionOf(ops); }
@Override public OWLDataRange visit(OWLDataUnionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { // Flip to an intersection return df.getOWLDataIntersectionOf(ops); } return df.getOWLDataUnionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { return df.getOWLDataUnionOf(ops); } return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataUnionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { // Flip to an intersection return df.getOWLDataIntersectionOf(ops); } return df.getOWLDataUnionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { return df.getOWLDataUnionOf(ops); } return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { Stream<OWLDataRange> ops = node.operands().map(p -> p.accept(this)); if (negated) { return df.getOWLDataUnionOf(ops); } return df.getOWLDataIntersectionOf(ops); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); return df.getOWLDataIntersectionOf(ops); }
@Override public void visitAnd(ATermAppl term) { visitList( (ATermList) term.getArgument( 0 ) ); if( obj instanceof OWLClassExpression ) { obj = factory.getOWLObjectIntersectionOf( set ); } else if( obj instanceof OWLDataRange ) { obj = factory.getOWLDataIntersectionOf( set ); } }
public void visitAnd(ATermAppl term) { visitList( (ATermList) term.getArgument( 0 ) ); if( obj instanceof OWLClassExpression ) obj = factory.getOWLObjectIntersectionOf( set ); else if( obj instanceof OWLDataRange ) obj = factory.getOWLDataIntersectionOf( set ); }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectIntersectionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataIntersectionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }