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();
parser.setStringToParse(text1);
ShortFormEntityChecker owlEntityChecker = new ShortFormEntityChecker(
shortFormProvider);
parser.setOWLEntityChecker(owlEntityChecker);
parser.setDefaultOntology(o);
// when
// finally parse
OWLClassExpression dsvf = parser.parseClassExpression();
// then
assertEquals("Expected " + expected + " actual " + dsvf, expected, dsvf);
}