Set<OWLProfileViolation> violations = new LinkedHashSet<OWLProfileViolation>();
if(!report.isInProfile()) {
//We won't be in the OWL 2 DL Profile then!
violations.addAll(report.getViolations());
}
OWLOntologyWalker walker = new OWLOntologyWalker(ontology.getImportsClosure());
OWL2DLProfileObjectVisitor visitor = new OWL2DLProfileObjectVisitor(walker, ontology.getOWLOntologyManager());
walker.walkStructure(visitor);
violations.addAll(visitor.getProfileViolations());
return new OWLProfileReport(this, violations);
}