@Override public OWLDataUnionOf buildObject() { return df.getOWLDataUnionOf(items); } }
@Override public OWLDataRange visit(OWLDataIntersectionOf range) { return m_factory.getOWLDataUnionOf(range.operands().map(ExpressionManager.this::getComplementNNF)); } @Override
@Override public OWLDataRange visit(OWLDataOneOf node) { // Encode as a data union of and return result return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public Object read(OWLInputStream in) throws IOException { Set<OWLDataRange> operands = in.readSet(OWLDataRange.class); return in.getOWLDataFactory().getOWLDataUnionOf(operands); }
@Override public OWLDataRange visit(OWLDataIntersectionOf node) { Set<OWLDataRange> ops = new HashSet<OWLDataRange>(); for (OWLDataRange op : node.getOperands()) { ops.add(op.accept(this)); } if (negated) { return dataFactory.getOWLDataUnionOf(ops); } else { return dataFactory.getOWLDataIntersectionOf(ops); } }
public OWLDataRange visit(OWLDataOneOf node) { // Encode as a data union of and return result Set<OWLDataOneOf> oneOfs = new HashSet<OWLDataOneOf>(); for (OWLLiteral lit : node.getValues()) { oneOfs.add(dataFactory.getOWLDataOneOf(lit)); } return dataFactory.getOWLDataUnionOf(oneOfs).accept(this); }
@Override protected void endDataRangeElement() throws OWLXMLParserException { setDataRange(getOWLDataFactory().getOWLDataUnionOf(dataRanges)); } }
@Override public OWLDataUnionOf visit(ElkDataUnionOf expression) { return owlFactory_ .getOWLDataUnionOf(toDataRangeSet(expression.getDataRanges())); }
@Override public OWLDataUnionOf visit(ElkDataUnionOf expression) { return owlFactory_ .getOWLDataUnionOf(toDataRangeSet(expression.getDataRanges())); }
@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) { 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) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); 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(OWLDataUnionOf node) { List<OWLDataRange> ops = asList(node.operands().map(op -> op.accept(this))); return df.getOWLDataUnionOf(ops); }
@Override public OWLDataRange visit(OWLDataOneOf node) { if (node.values().count() == 1) { if (negated) { return df.getOWLDataComplementOf(node); } return node; } return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public OWLDataRange visit(OWLDataOneOf node) { if (node.values().count() == 1) { if (negated) { return df.getOWLDataComplementOf(node); } return node; } return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public OWLDataRange visit(OWLDataOneOf node) { if (node.values().count() == 1) { if (negated) { return df.getOWLDataComplementOf(node); } return node; } return df.getOWLDataUnionOf(node.values().map(df::getOWLDataOneOf)).accept(this); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectUnionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataUnionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectUnionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataUnionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }