// be more than one level. Basically each Lite test is also a
// Full
// test and now this information is given explicitly in Manifest
// So loop through all the levels and find the tight bound
int level = 3; // 0 - Lite, 1 - DL, 2 - Full
StmtIterator si = testCase.listProperties( OWLTestVocabulary.level );
while( si.hasNext() ) {
Statement s = si.nextStatement();
String levelName = s.getResource().getLocalName();
if( level > LEVELS.indexOf( levelName ) ) {
levelStmt = s;