tboxOntology);
Set<OWLClass> concepts = vocabularyManager.getConceptSet();
Set<OWLProperty<?, ?>> properties = new HashSet<OWLProperty<?, ?>>();
manager.removeOntology(tboxLogicalURI);
manager.removeOntology(aboxLogicalURI);
SelectionStrategy selectionStrategyCopy = new TrivialStrategy(
selectionStrategy.getConceptsSet(), properties,
StrategyFactory.newStepSizeStrategy("EqualParts",
selectionStrategy.getConceptsSet().size()),