OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC );
DatatypeProperty prop = model.createDatatypeProperty( ns + "prop" );
OntClass C = model.createClass( ns + "C" );
C.addSuperClass( model.createCardinalityRestriction( null, prop, 2 ) );
Individual x = model.createIndividual( ns + "x", C );
x.addProperty( prop, "literal1" );
x.addProperty( prop, "literal2" );
x.addProperty( prop, "literal3" );
assertTrue( !model.validate().isValid() );
}