model.prepare();
model.add( a, r, model.createLiteral( "l" ) );
model.add( a, r, model.createResource() );
assertTrue( model.validate().isValid() );
model.prepare();
model.add( p, RDF.type, OWL.FunctionalProperty );
model.add( b, OWL.differentFrom, c );