C.addSuperClass( model.createCardinalityRestriction( null, prop, 2 ) );
Individual x = model.createIndividual( ns + "x", C );
Literal val1 = model.createLiteral( "val1" );
x.addProperty( prop, val1 );
Literal val2 = model.createLiteral( "val2" );
x.addProperty( sub, val2 );
assertTrue( model.validate().isValid() );
assertPropertyValues( model, x, prop, val1, val2 );