assertTrue( ir.hasRDFType( OWL2.IrreflexiveProperty ) );
assertTrue( as.hasRDFType( OWL2.AsymmetricProperty ) );
OntClass union = factory.createUnionClass( null, factory.createList( new RDFNode[] {
D1, D2, D3 } ) );
assertTrue( model.listStatements( D, OWL.equivalentClass, union, factory ).hasNext() );
assertTrue( model.contains( D, OWL.equivalentClass, test1 ) );
assertTrue( D1.isDisjointWith( D2 ) );
assertTrue( D1.isDisjointWith( D3 ) );
assertTrue( D2.isDisjointWith( D3 ) );