kb.addSubClass( some( weakR, TOP ), self( weakR ) );
kb.addObjectProperty( p );
kb.addObjectProperty( r );
kb.addObjectProperty( weakR );
kb.addReflexiveProperty( r );
kb.addRange( r, d );
kb.addIndividual( x );
kb.addType( x, self( p ) );
kb.addType( x, not( some( weakR, value( x ) ) ) );