inferences = ModelFactory.createDefaultModel();
inferences.add( a, p, b );
assertPropertyValues( model, p, inferences );
// add a new property assertion using a new individual
Individual c = model.createIndividual( ns + "c", OWL.Thing );
model.add( a, q, c );
// verify inference using super property
inferences = ModelFactory.createDefaultModel();
inferences.add( a, p, b );