/**
* 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);
}