model.add(b2, RDF.type, OWL2.DataRange);
model.add(b2, OWL2.datatypeComplementOf, pi);
c2.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, b2 ) );
assertFalse( model.contains( c2, RDFS.subClassOf, OWL2.Nothing ) );
OntClass c3 = model.createClass( ns + "c3" );
RDFNode[] l3 = new RDFNode[2];
l3[0] = pi;
l3[1] = ni;
c3.addEquivalentClass( model.createSomeValuesFromRestriction( null, s, model.createIntersectionClass( null, model.createList( l3 ) ) ) );
assertTrue( model.contains(c3, RDFS.subClassOf, OWL2.Nothing ) );