@Test
 public void testTopObjectPropertyNegative() {
   OWLObjectPropertyExpression prop = ObjectProperty(getIRI("prop"));
   assertFalse(prop.isOWLTopObjectProperty());
 }
 @Test
 public void testTopObjectPropertyPositive() {
   OWLObjectPropertyExpression prop = Factory.getFactory().getOWLTopObjectProperty();
   assertTrue(prop.isOWLTopObjectProperty());
 }