graph.getKB().timers.getTimer( "isIncConsistent" ).reset();
RDFList list = ontmodel.createList( new RDFNode[] { class1, class2 } );
IntersectionClass class3 = ontmodel.createIntersectionClass( null, list );
UnionClass class4 = ontmodel.createUnionClass( null, list );
graph.getKB().timers.getTimer( "isIncConsistent" ).reset();
ontmodel.prepare();
assertIteratorValues( class3.listInstances(), new Resource[] {
inds[2], inds[3], inds[4], inds[5] } );
assertIteratorValues( class4.listInstances(), new Resource[] {
inds[0], inds[1], inds[2], inds[3], inds[4], inds[5] } );