@Override public void visit(OWLClass ce) { write(getShortFormProvider().getShortForm(ce)); }
@Override public void visit(OWLAnnotationProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLNamedIndividual individual) { write(getShortFormProvider().getShortForm(individual)); }
@Override public void visit(OWLDatatype node) { write(getShortFormProvider().getShortForm(node)); }
@Override public void visit(OWLDatatype node) { write(getShortFormProvider().getShortForm(node)); }
@Override public void visit(OWLDatatype node) { write(getShortFormProvider().getShortForm(node)); }
@Override public void visit(OWLClass ce) { write(getShortFormProvider().getShortForm(ce)); }
@Override public void visit(OWLObjectProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLClass ce) { write(getShortFormProvider().getShortForm(ce)); }
@Override public void visit(OWLAnnotationProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLObjectProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLDataProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLObjectProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLDataProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLObjectProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLDataProperty property) { write(getShortFormProvider().getShortForm(property)); }
@Override public void visit(OWLNamedIndividual individual) { write(getShortFormProvider().getShortForm(individual)); }
@Override public void visit(OWLDatatype node) { write(getShortFormProvider().getShortForm(node)); }
@Override public void visit(OWLNamedIndividual individual) { write(getShortFormProvider().getShortForm(individual)); }
@Override public void visit(OWLAnnotationProperty property) { write(getShortFormProvider().getShortForm(property)); }