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