model.add( b9, OWL2.onDatatype, i);
model.add( b9, OWL2.withRestrictions, model.createList( new RDFNode[] { fr9 } ));
RDFNode[] l9 = new RDFNode[2];
l9[0] = pi;
l9[1] = b9;
c9.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, model.createIntersectionClass( null, model.createList( l9 ) ) ) );
assertTrue( model.contains(c9, RDFS.subClassOf, OWL2.Nothing ) );
OntClass c10 = model.createClass( ns + "c10" );
DatatypeProperty p = model.createDatatypeProperty( ns + "p" );
Resource b10 = model.createResource();