return newowlclass;
}
public OWLClassExpression runManchesterQuery(String manchesterQuery) throws ManchesterQueryException{
ManchesterOWLSyntaxEditorParser parser = new ManchesterOWLSyntaxEditorParser(manager.getOWLDataFactory(), manchesterQuery);
parser.setDefaultOntology(oldOntology);
ShortFormProvider shortFormProvider = new SimpleShortFormProvider();
Set<OWLOntology> importsClosure = oldOntology.getImportsClosure();
BidirectionalShortFormProvider bidiShortFormProvider = new BidirectionalShortFormProviderAdapter(manager, importsClosure, shortFormProvider);
// Specify an entity checker that wil be used to check a class expression contains the correct names.
OWLEntityChecker entityChecker = new ShortFormEntityChecker(bidiShortFormProvider);
parser.setOWLEntityChecker(entityChecker);
OWLClassExpression classExp=null;
try {
classExp = parser.parseClassExpression();
} catch (ParserException e) {
e.printStackTrace();
throw new ManchesterQueryException("Invalid manchester query",e.getMessage());
}
return classExp;