c8.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, model.createIntersectionClass( null, model.createList( l8 ) ) ) );
assertFalse( model.contains(c8, RDFS.subClassOf, OWL2.Nothing ) );
OntClass c9 = model.createClass( ns + "c9" );
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];