Refine search
@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 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(OWLObjectUnionOf ce) { for (Iterator<? extends OWLClassExpression> it = ce.operands().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@Override public void visit(OWLObjectHasValue ce) { write(SOME); ce.getProperty().accept(this); writeSpace(); writeOpenBrace(); ce.getFiller().accept(this); writeCloseBrace(); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { for (Iterator<OWLObjectPropertyExpression> it = axiom.properties().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(EQUIV); 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(OWLDataUnionOf node) { for (Iterator<? extends OWLDataRange> it = node.operands().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(OR); writeSpace(); } } }
@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 void visit(OWLDataIntersectionOf node) { for (Iterator<? extends OWLDataRange> it = node.operands().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(AND); writeSpace(); } } }
@Override public void visit(OWLObjectIntersectionOf ce) { for (Iterator<? extends OWLClassExpression> it = ce.operands().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(AND); writeSpace(); } } }
@Override public void visit(OWLDataIntersectionOf node) { for (Iterator<? extends OWLDataRange> it = node.operands().iterator(); it.hasNext(); ) { it.next().accept(this); if (it.hasNext()) { writeSpace(); write(AND); writeSpace(); } } }
@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(OWLFunctionalDataPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this); }
@Override public void visit(OWLFunctionalObjectPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLObjectMaxCardinality(1, axiom.getProperty()).accept(this); }
@Override public void visit(OWLFunctionalDataPropertyAxiom axiom) { write(TOP); writeSpace(); write(SUBCLASS); writeSpace(); df.getOWLDataMaxCardinality(1, axiom.getProperty()).accept(this); }
@Override public void visit(OWLSubDataPropertyOfAxiom axiom) { axiom.getSubProperty(); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getSuperProperty().accept(this); }
@Override public void visit(OWLSubObjectPropertyOfAxiom axiom) { axiom.getSubProperty(); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getSuperProperty().accept(this); }
@Override public void visit(OWLAsymmetricObjectPropertyAxiom axiom) { axiom.getProperty().accept(this); writeSpace(); write(SUBCLASS); writeSpace(); write(NOT); axiom.getProperty().accept(this); write(INVERSE); }