DatatypeProperty dp = model.createDatatypeProperty( ns + "dp" );
dp.addRange( XSD.nonNegativeInteger );
dp.convertToInverseFunctionalProperty();
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 );