OntClass A = model.createClass( ns + "A" );
OntClass B = model.createClass( ns + "B" );
OntClass notA = model.createComplementClass( null, A );
OntClass notB = model.createComplementClass( null, B );
OntClass AorB = model.createUnionClass( null, model.createList( new OntClass[] { A, B } ) );
OntClass AorNotB = model.createUnionClass( null, model
.createList( new OntClass[] { A, notB } ) );
OntClass notAorB = model.createUnionClass( null, model
.createList( new OntClass[] { notA, B } ) );
Individual x = model.createIndividual( ns + "x", OWL.Thing );