@Override public void visit(OWLDifferentIndividualsAxiom axiom) { for (Iterator<OWLIndividual> it = axiom.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(NOT_EQUIV); writeSpace(); } } }
@Override public void visit(OWLObjectOneOf ce) { for (Iterator<? extends OWLIndividual> it = ce.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLDataOneOf node) { for (Iterator<? extends OWLLiteral> it = node.values().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { for (Iterator<OWLIndividual> it = axiom.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(NOT_EQUIV); writeSpace(); } } }
@Override public void visit(OWLObjectOneOf ce) { for (Iterator<? extends OWLIndividual> it = ce.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLSameIndividualAxiom axiom) { for (Iterator<OWLIndividual> it = axiom.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write("="); writeSpace(); } } }
@Override public void visit(OWLDataOneOf node) { for (Iterator<? extends OWLLiteral> it = node.values().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLObjectOneOf ce) { for (Iterator<? extends OWLIndividual> it = ce.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLDataOneOf node) { for (Iterator<? extends OWLLiteral> it = node.values().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLDataOneOf node) { for (Iterator<? extends OWLLiteral> it = node.values().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLObjectOneOf ce) { for (Iterator<? extends OWLIndividual> it = ce.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLDifferentIndividualsAxiom axiom) { for (Iterator<OWLIndividual> it = axiom.individuals().iterator(); it.hasNext(); ) { writeOpenBrace(); it.next().accept(this); writeCloseBrace(); if (it.hasNext()) { writeSpace(); write(NOT_EQUIV); writeSpace(); } } }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }