}
private OWLAnnotation getRevisionDateAnnotation() {
OWLAPIProject project = getProject();
OWLAPIChangeManager changeManager = project.getChangeManager();
RevisionSummary summary = changeManager.getRevisionSummary(revisionNumber);
long timestamp = summary.getTimestamp();
DateFormat dateFormat = DateFormat.getDateTimeInstance();
String date = dateFormat.format(new Date(timestamp));
OWLDataFactory df = project.getDataFactory();
return df.getOWLAnnotation(df.getOWLAnnotationProperty(DublinCoreVocabulary.DATE.getIRI()), df.getOWLLiteral(date, OWL2Datatype.XSD_DATE_TIME));
}