/**
  * Obtains the rendering of the specified object. If the object is a constant then the rendering
  * is equal to the literal value, if the object is an individual then the rendering is equal to
  * the rendering of the individual as provided by the alternate short form provider
  *
  * @param object The object to the rendered
  * @return The rendering of the object.
  */
 private String getRendering(OWLObject object) {
   // We return the literal value of constants or use the alternate
   // short form provider to render individuals.
   if (object instanceof OWLLiteral) {
     return ((OWLLiteral) object).getLiteral();
   } else {
     return alternateShortFormProvider.getShortForm((OWLEntity) object);
   }
 }
  public String getShortForm(OWLEntity entity) {

    for (OWLAnnotationProperty prop :
        annotationProperties) { // visit the properties in order of preference
      AnnotationLanguageFilter checker =
          new AnnotationLanguageFilter(prop, preferredLanguageMap.get(prop));

      for (OWLOntology ontology : ontologySetProvider.getOntologies()) {
        for (OWLAnnotationAssertionAxiom ax : entity.getAnnotationAssertionAxioms(ontology)) {
          ax.accept(checker);
        }
      }
      if (checker.getMatch() != null) {
        return getRendering(checker.getMatch());
      }
    }

    return alternateShortFormProvider.getShortForm(entity);
  }
 @Override
 protected String generateShortForm(@Nonnull OWLEntity entity) {
   return shortFormProvider.getShortForm(entity);
 }