KR discovery extensions