public void testTopBottomPropertyAssertion() throws MalformedURLException {
OntModel model = ModelFactory.createOntologyModel( PelletReasonerFactory.THE_SPEC, null );
Resource a = model.createResource( "a", OWL.Thing );
Resource b = model.createResource( "b", OWL.Thing );
Literal lit = model.createLiteral( "l" );
Statement[] stats = new Statement[] {
model.createStatement( a, OWL2.topObjectProperty, b ),
model.createStatement( a, OWL2.topDataProperty, lit ),
model.createStatement( a, OWL2.bottomObjectProperty, b ),