/** * {@inheritDoc} */ @Override public void visit(final OWLDataIntersectionOf node) { writeNaryKeyword(Keyword.AND, node.operands()); }
@Override public void visit(final OWLObjectUnionOf theDescription) { writeNaryKeyword(Keyword.OR, theDescription.operands()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLDataUnionOf node) { writeNaryKeyword(Keyword.OR, node.operands()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLDataIntersectionOf node) { writeNaryKeyword(Keyword.AND, node.operands()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLDataUnionOf node) { writeNaryKeyword(Keyword.OR, node.operands()); }
@Override public void visit(final OWLObjectIntersectionOf theDescription) { writeNaryKeyword(Keyword.AND, theDescription.operands()); }
@Override public void visit(final OWLObjectUnionOf theDescription) { writeNaryKeyword(Keyword.OR, theDescription.operands()); }
@Override public void visit(final OWLObjectIntersectionOf theDescription) { writeNaryKeyword(Keyword.AND, theDescription.operands()); }
@Override public void visit(final OWLObjectUnionOf theDescription) { writeNaryKeyword(Keyword.OR, theDescription.operands()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLDataUnionOf node) { writeNaryKeyword(Keyword.OR, node.operands()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLDataIntersectionOf node) { writeNaryKeyword(Keyword.AND, node.operands()); }
@Override public void visit(final OWLObjectIntersectionOf theDescription) { writeNaryKeyword(Keyword.AND, theDescription.operands()); }
/** * Render an n-ary axiom with special handling for the binary case. * * @param objs objects to be rendered * @param binary keyword used for binary case * @param nary keyword used for n-ary case */ protected <T extends OWLObject> void writeNaryAxiom(final Stream<T> objs, final Keyword binary, final Keyword nary) { final List<T> args = objs.sorted().collect(Collectors.toList()); if (args.size() == 2) writeKeywordInfix(binary, args.get(0), args.get(1)); else { write(nary); write("("); writeNaryKeyword(null, args.stream()); write(")"); } }
/** * Render an n-ary axiom with special handling for the binary case. * * @param objs objects to be rendered * @param binary keyword used for binary case * @param nary keyword used for n-ary case */ protected <T extends OWLObject> void writeNaryAxiom(final Stream<T> objs, final Keyword binary, final Keyword nary) { final List<T> args = objs.sorted().collect(Collectors.toList()); if (args.size() == 2) writeKeywordInfix(binary, args.get(0), args.get(1)); else { write(nary); write("("); writeNaryKeyword(null, args.stream()); write(")"); } }
/** * Render an n-ary axiom with special handling for the binary case. * * @param objs objects to be rendered * @param binary keyword used for binary case * @param nary keyword used for n-ary case */ protected <T extends OWLObject> void writeNaryAxiom(final Stream<T> objs, final Keyword binary, final Keyword nary) { final List<T> args = objs.sorted().collect(Collectors.toList()); if (args.size() == 2) writeKeywordInfix(binary, args.get(0), args.get(1)); else { write(nary); write("("); writeNaryKeyword(null, args.stream()); write(")"); } }
@Override public void visit(final OWLDisjointUnionAxiom theAxiom) { write(theAxiom.getOWLClass()); writeSpace(); write(Keyword.DISJOINT_UNION); writeSpace(); writeNaryKeyword(Keyword.OR, theAxiom.classExpressions()); }
@Override public void visit(final OWLDisjointUnionAxiom theAxiom) { write(theAxiom.getOWLClass()); writeSpace(); write(Keyword.DISJOINT_UNION); writeSpace(); writeNaryKeyword(Keyword.OR, theAxiom.classExpressions()); }
@Override public void visit(final OWLDisjointUnionAxiom theAxiom) { write(theAxiom.getOWLClass()); writeSpace(); write(Keyword.DISJOINT_UNION); writeSpace(); writeNaryKeyword(Keyword.OR, theAxiom.classExpressions()); }