Получите объяснения аксиом утверждения данных с помощью OWL API + Openllet. ⇐ JAVA

[Anonymous]

Я пытаюсь получить объяснения выводов, сделанных Openllet Reasoner.
Если я попытаюсь использовать код из этого, я получу ошибку — объяснение не вычислено.
Когда я попытаюсь использовать пример кода из ответа на этот вопрос, я получаю ошибку — значение не может быть нулевым на этом этапе
Я пытаюсь получить объяснение для следующей онтологии:

Код: Выделить всё

24
Cargo1






33
Medium
Asphalt

И у меня есть следующее правило в онтологии правил: Road(?r), Road_length(?r, ?l), swrlb:greaterThan(?l, 25) -> Safety_eval(?r, "low"), которое импортирует аксиомы из онтологии задачи в рабочую онтологию.