kb.addObjectProperty( p );
kb.addObjectProperty( subP );
kb.addObjectProperty( q );
kb.addSubProperty( subP, p );
kb.addDisjointProperty( p, q );
kb.getRoleTaxonomy( true ).getTop().print();
kb.getRoleTaxonomy( false ).getTop().print();
assertTrue( kb.isDisjointProperty( BOTTOM_OBJECT_PROPERTY, TOP_OBJECT_PROPERTY ) );