私は現在、OWLオントロジーを構築しています。これは、ごく最近まで、Pellet推論器を使用して急速に分類されていました。ただし、いくつかの新しいクラスが導入されて以来、推論のパフォーマンスは低下しました。推論者は完了し、オントロジーには満足できない概念などは含まれていませんが、推論にかかる時間は許容できません。私は現在、速度低下につながった可能性のある問題のあるクラス/クラスを追跡しようとしています。
これが私の質問です：ペレットの推論の同意をログに記録することは可能ですか？つまり、ペレットが特定の推論タスクに費やした時間を記録する出力を生成することは可能ですか/特定のクラスと公理に対して推論にかかる時間を追跡しますか？もしそうなら、誰かが投稿できるJavaコードを持っていますか？
よろしくお願いします！