Существует ли какой-нибудь бесплатный совин, который может рассуждать без загрузки всех данных в память?

Я использую Jena и TDB для хранения RDF, и я хочу сделать некоторые выводы на его основе. данные в память. Итак, я хочу найти одного рассудителя, который может рассуждать, не загружая все данные в память, есть ли такой?