This exception indicates that the reasoner cannot handle the set of axioms
that are in the imports closure of the root ontology because the axioms fall
outside of the "largest" OWL profile (i.e. OWL2DL or OWL2EL or OWL2QL or
OWL2RL) that the reasoner can handle. The reasoner will indicate in this
exception which profile it expects the axioms to be in.
Matthew Horridge, The University of Manchester, Information