OntClass C = model.createClass( ns + "C" );
C.addSuperClass( model.createMinCardinalityRestriction( null, dp, 1 ) );
Individual a = model.createIndividual( ns + "a", C );
Individual b = model.createIndividual( ns + "b", C );
Individual c = model.createIndividual( ns + "c", C );
Literal zero = model.createTypedLiteral( Integer.valueOf( 0 ) );
a.addProperty( dp, zero );
b.addRDFType( model.createAllValuesFromRestriction( null, dp, XSD.nonPositiveInteger ) );