private void writeNested(OWLClassExpression classExpression) { openBracket(classExpression); classExpression.accept(this); closeBracket(classExpression); }
@Override public void visit(OWLObjectProperty property) { write(escapeName(shortFormProvider.getShortForm(property))); }
@Override public void visit(OWLSubClassOfAxiom axiom) { setPrettyPrint(false); axiom.getSubClass().accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getSuperClass().accept(this); writeSpace(); setPrettyPrint(true); }
@Override public void visit(OWLObjectComplementOf ce) { write(NOT); writeNested(ce.getOperand()); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }
@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(OWLObjectMinCardinality ce) { write(MIN); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DO OTHER AXIOM HERE! write("DisjointClasses"); write("("); axiom.classExpressions().forEach(p -> { p.accept(this); writeSpace(); }); write(")"); }
@Override public String render(OWLObject object) { StringWriter writer = new StringWriter(); LatexWriter latexWriter = new LatexWriter(writer); LatexObjectVisitor visitor = new LatexObjectVisitor(latexWriter, dataFactory); visitor.setShortFormProvider( verifyNotNull(shortFormProvider, "shortFormProvider not set yet")); object.accept(visitor); return writer.getBuffer().toString(); }
protected void writeEntity(LatexWriter w, LatexObjectVisitor renderer, OWLEntity cls, Collection<? extends OWLAxiom> axioms) { writeEntitySection(cls, w); for (OWLAxiom ax : axioms) { renderer.setSubject(cls); ax.accept(renderer); w.write("\n\n"); } }
w.write("\\textwidth 19cm\n"); w.write("\\begin{document}\n\n"); LatexObjectVisitor renderer = new LatexObjectVisitor(w, o.getOWLOntologyManager().getOWLDataFactory()); Collection<OWLClass> clses = sortEntities(o.classesInSignature());
@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(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLDataComplementOf node) { write(NOT); writeNested(node.getDataRange()); }
@Override public void visit(OWLLiteral node) { writeOpenBrace(); write("``"); write(node.getLiteral()); write("\"\\^{}\\^{}"); write(getRendering(node.getDatatype())); writeCloseBrace(); }
@Override public void visit(OWLEquivalentDataPropertiesAxiom axiom) { for (Iterator<OWLDataPropertyExpression> it = axiom.properties().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(NOT_EQUIV); writeSpace(); } } }
@Override public String render(OWLObject object) { StringWriter writer = new StringWriter(); LatexWriter latexWriter = new LatexWriter(writer); LatexObjectVisitor visitor = new LatexObjectVisitor(latexWriter, dataFactory); visitor.setShortFormProvider( verifyNotNull(shortFormProvider, "shortFormProvider not set yet")); object.accept(visitor); return writer.getBuffer().toString(); }
private void openBracket(OWLClassExpression classExpression) { if (LatexBracketChecker.requiresBracket(classExpression)) { write("("); } }
protected void writeEntity(LatexWriter w, LatexObjectVisitor renderer, OWLEntity cls, Collection<? extends OWLAxiom> axioms) { writeEntitySection(cls, w); for (OWLAxiom ax : axioms) { renderer.setSubject(cls); ax.accept(renderer); w.write("\n\n"); } }