В настоящее время я создаю онтологию OWL, которая до недавнего времени быстро классифицировалась с использованием рассуждения Пелле. Однако с момента появления нескольких новых классов производительность рассуждений замедлилась до ползания. Хотя рассуждение завершается, а онтология не содержит неудовлетворительных понятий и т. Д., Время, затрачиваемое на рассуждение, недопустимо. В настоящее время я пытаюсь отследить нарушающие классы / класс, которые, возможно, привели к замедлению.
Вот мой вопрос: можно ли записать ход рассуждений Пелле? То есть возможно ли получить какой-либо вывод, который будет документировать, сколько времени пеллет провел на определенных задачах / трассировках рассуждений, сколько времени занимает рассуждение по любому данному классу и аксиоме? Если да, есть ли у кого-нибудь код Java, который они могли бы опубликовать?
Заранее спасибо за ваши ответы!