private Set<OWLDescription> getDescriptions(OWLDescription desc) {
final Set<OWLDescription> result = new HashSet<OWLDescription>();
if (splitIntersections) {
desc.accept(new OWLDescriptionVisitorAdapter() {
public void visit(OWLObjectIntersectionOf desc) {
for (OWLDescription op : desc.getOperands()) {
result.add(op);
}