Resource fr9 = model.createResource();
model.add( fr9, OWL2.maxExclusive, model.createTypedLiteral( 0 ) );
Resource b9 = model.createResource();
model.add( b9, RDF.type, RDFS.Datatype);
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 ) );