m.addAxiom(o, df.getOWLDeclarationAxiom(dateTime));
m.addAxiom(o, annotation(a, "'GWAS study'"));
m.addAxiom(o, annotation(p, "has_publication_date"));
m.addAxiom(o, annotation(dateTime, "dateTime"));
// select a short form provider that uses annotations
ShortFormProvider sfp = new AnnotationValueShortFormProvider(
Arrays.asList(df.getRDFSLabel()),
Collections.<OWLAnnotationProperty, List<String>> emptyMap(), m);
BidirectionalShortFormProvider shortFormProvider = new BidirectionalShortFormProviderAdapter(
m.getOntologies(), sfp);
ManchesterOWLSyntaxParser parser = OWLManager.createManchesterParser();