@Override public void visit(final OWLDeclarationAxiom theAxiom) { writeKeywordPrefix(Keyword.DECLARATION, theAxiom.getEntity()); }
@Override public void visit(final OWLDeclarationAxiom theAxiom) { writeKeywordPrefix(Keyword.DECLARATION, theAxiom.getEntity()); }
@Override public void visit(final OWLDeclarationAxiom theAxiom) { writeKeywordPrefix(Keyword.DECLARATION, theAxiom.getEntity()); }
@Override public void visit(final OWLObjectComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getOperand()); }
@Override public void visit(final OWLObjectInverseOf theInverse) { writeKeywordPrefix(Keyword.INVERSE, theInverse.getInverse()); }
@Override public void visit(final OWLDataComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getDataRange()); }
@Override public void visit(final OWLObjectInverseOf theInverse) { writeKeywordPrefix(Keyword.INVERSE, theInverse.getInverse()); }
@Override public void visit(final OWLDataComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getDataRange()); }
@Override public void visit(final OWLObjectComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getOperand()); }
@Override public void visit(final OWLDataComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getDataRange()); }
@Override public void visit(final OWLObjectComplementOf theDescription) { writeKeywordPrefix(Keyword.NOT, theDescription.getOperand()); }
@Override public void visit(final OWLObjectInverseOf theInverse) { writeKeywordPrefix(Keyword.INVERSE, theInverse.getInverse()); }
protected void writeUnaryPropertyAxiom(final OWLUnaryPropertyAxiom<?> theAxiom, final Keyword keyword) { writeKeywordPrefix(keyword, theAxiom.getProperty()); }
protected void writeUnaryPropertyAxiom(final OWLUnaryPropertyAxiom<?> theAxiom, final Keyword keyword) { writeKeywordPrefix(keyword, theAxiom.getProperty()); }
protected void writeUnaryPropertyAxiom(final OWLUnaryPropertyAxiom<?> theAxiom, final Keyword keyword) { writeKeywordPrefix(keyword, theAxiom.getProperty()); }