4495449644974498449945004501
if( conceptSatisfiability && !expressivity.hasNominal() ) { return new EmptySRIQStrategy( abox ); } } return new SROIQStrategy( abox ); }
4525452645274528452945304531