OntClass C = model.getOntClass( ns + "C" );
OntClass S0 = model.getOntClass( ns + "S0" );
OntClass R0 = model.getOntClass( ns + "R0" );
OntClass R1 = model.getOntClass( ns + "R1" );
ObjectProperty r = model.getObjectProperty( ns + "r" );
ObjectProperty s = model.getObjectProperty( ns + "s" );
int n = 17;
Resource[] a = new Resource[n];
for( int i = 0; i < n; i++ ) {
a[i] = model.getResource( ns + "a" + i );
}
Resource[] theList = new Resource[] {
a[1], a[2], a[3], a[4], a[5], a[6], a[8], a[10], a[12], a[14], a[16] };
assertTrue( r.isTransitiveProperty() );
assertFalse( s.isTransitiveProperty() );
assertIteratorValues( C.listInstances(), theList );
assertIteratorValues( S0.listInstances(), theList );