protected void writeKeywordInfix(final Keyword keyword, final OWLObject arg1, final OWLObject arg2) { write(arg1); writeSpace(); write(keyword); writeSpace(); write(arg2); }
protected void writeKeywordInfix(final Keyword keyword, final OWLObject arg1, final OWLObject arg2) { write(arg1); writeSpace(); write(keyword); writeSpace(); write(arg2); }
protected void writeKeywordPrefix(final Keyword keyword, final OWLObject arg) { write(keyword); writeSpace(); // write( "(" ); write(arg); // write( ")" ); }
protected void writeKeywordPrefix(final Keyword keyword, final OWLObject arg) { write(keyword); writeSpace(); // write( "(" ); write(arg); // write( ")" ); }
@Override public void visit(final OWLDisjointUnionAxiom theAxiom) { write(theAxiom.getOWLClass()); writeSpace(); write(Keyword.DISJOINT_UNION); writeSpace(); writeNaryKeyword(Keyword.OR, theAxiom.classExpressions()); }
@Override public void visit(final OWLSubPropertyChainOfAxiom theAxiom) { writeCollection(theAxiom.getPropertyChain(), " o", false); writeSpace(); write(Keyword.SUB_PROPERTY_OF); writeSpace(); write(theAxiom.getSuperProperty()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLHasKeyAxiom theAxiom) { write(theAxiom.getClassExpression()); writeSpace(); write(Keyword.HAS_KEY); writeCollection(theAxiom.objectPropertyExpressions(), "", true); writeSpace(); }
protected void writeKeywordPrefix(final Keyword keyword, final OWLObject arg1, final OWLObject arg2) { write(keyword); writeSpace(); write("("); write(arg1); writeSpace(); write(arg2); write(")"); }
/** * {@inheritDoc} */ @Override public void visit(final OWLHasKeyAxiom theAxiom) { write(theAxiom.getClassExpression()); writeSpace(); write(Keyword.HAS_KEY); writeCollection(theAxiom.objectPropertyExpressions(), "", true); writeSpace(); }
/** * {@inheritDoc} */ @Override public void visit(final OWLHasKeyAxiom theAxiom) { write(theAxiom.getClassExpression()); writeSpace(); write(Keyword.HAS_KEY); writeCollection(theAxiom.objectPropertyExpressions(), "", true); writeSpace(); }
@Override public void visit(final OWLDataPropertyAssertionAxiom theAxiom) { write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getObject()); }
/** * {@inheritDoc} */ @Override public void visit(final OWLAnnotationAssertionAxiom theAxiom) { write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getValue()); }
@Override public void visit(final OWLNegativeObjectPropertyAssertionAxiom theAxiom) { write(Keyword.NOT_RELATIONSHIP); writeSpace(); write("("); write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getObject()); write(")"); }
/** * {@inheritDoc} */ @Override public void visit(final OWLAnnotationAssertionAxiom theAxiom) { write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getValue()); }
@Override public void visit(final OWLDataPropertyAssertionAxiom theAxiom) { write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getObject()); }
@Override public void visit(final OWLDataPropertyAssertionAxiom theAxiom) { write(theAxiom.getSubject()); writeSpace(); write(theAxiom.getProperty()); writeSpace(); write(theAxiom.getObject()); }
@Override public void visit(final OWLFacetRestriction theRestriction) { write(theRestriction.getFacet().getSymbolicForm()); writeSpace(); write(theRestriction.getFacetValue()); }
@Override public void visit(final OWLFacetRestriction theRestriction) { write(theRestriction.getFacet().getSymbolicForm()); writeSpace(); write(theRestriction.getFacetValue()); }
@Override public void visit(final OWLAnnotation theAnnotation) { write(Keyword.ANNOTATION); writeSpace(); write("("); write(theAnnotation.getProperty()); write(" "); write(theAnnotation.getValue()); write(")"); }
@Override public void visit(final OWLAnnotation theAnnotation) { write(Keyword.ANNOTATION); writeSpace(); write("("); write(theAnnotation.getProperty()); write(" "); write(theAnnotation.getValue()); write(")"); }