if( getRules().size() > 0 && (expressivity.hasNominal() || !conceptSatisfiability) ) {
if( PelletOptions.USE_CONTINUOUS_RULES ) {
return new ContinuousRulesStrategy( abox );
}
else {
return new RuleStrategy( abox );
}
}
boolean fullDatatypeReasoning = PelletOptions.USE_FULL_DATATYPE_REASONING
&& (expressivity.hasCardinalityD() || expressivity.hasKeys());