В протеже, после синхронизации логика, мы можем найти функцию Объяснить вывод с помощью этой кнопки:
и тогда мы можем получить такое объяснение:
Проблема в том, что если я использую Jena с рассуждателем Pellet, как я могу выполнять с ними ту же функцию?
Я нашел аналогичный вопрос в StackOverflow, но похоже, что он работает только при работе с родным логиком Jena а не сторонний рассуждающий, такой как Pellet.
Заранее спасибо.