@Override public void visit(OWLObjectComplementOf ce) { write(NOT); writeNested(ce.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { write(NOT); writeNested(node.getDataRange()); }
@Override public void visit(OWLObjectComplementOf ce) { write(NOT); writeNested(ce.getOperand()); }
@Override public void visit(OWLObjectComplementOf ce) { write(NOT); writeNested(ce.getOperand()); }
@Override public void visit(OWLDataComplementOf node) { write(NOT); writeNested(node.getDataRange()); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { write(SOME); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom ce) { write(ALL); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom ce) { write(ALL); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { write(SOME); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectSomeValuesFrom ce) { write(SOME); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectAllValuesFrom ce) { write(ALL); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMinCardinality ce) { write(MIN); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectExactCardinality ce) { write(EQUAL); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMinCardinality ce) { write(MIN); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectExactCardinality ce) { write(EQUAL); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMinCardinality ce) { write(MIN); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }
@Override public void visit(OWLObjectMaxCardinality ce) { write(MAX); write(ce.getCardinality()); writeSpace(); ce.getProperty().accept(this); write("."); writeNested(ce.getFiller()); }