@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(SUBCLASS); writeSpace(); write(NOT); axiom.getProperty().accept(this); write(INVERSE); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DO OTHER AXIOM HERE! write("DisjointClasses"); write("("); axiom.classExpressions().forEach(p -> { p.accept(this); writeSpace(); }); write(")"); }
@Override public void visit(OWLObjectMinCardinality ce) { write(MIN); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(SUBCLASS); writeSpace(); write(NOT); axiom.getProperty().accept(this); write(INVERSE); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DO OTHER AXIOM HERE! write("DisjointClasses"); write("("); axiom.classExpressions().forEach(p -> { p.accept(this); writeSpace(); }); write(")"); }
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(SUBCLASS); writeSpace(); write(NOT); axiom.getProperty().accept(this); write(INVERSE); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { // DO OTHER AXIOM HERE! write("DisjointClasses"); write("("); axiom.classExpressions().forEach(p -> { p.accept(this); writeSpace(); }); write(")"); }
@Override public void visit(OWLSymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(EQUIV); writeSpace(); axiom.getProperty().accept(this); write("\\ensuremath{^-}"); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }