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();
model.add( b10, RDF.type, RDFS.Datatype);
model.add( b10, OWL.unionOf, model.createList( new RDFNode[] { pi, ni } ));
model.add(p, RDFS.range, b10 );
c10.addEquivalentClass( model.createSomeValuesFromRestriction( null, p, XSD.anyURI ) );
assertTrue( model.contains(c10, RDFS.subClassOf, OWL2.Nothing ) );