我目前正在构建一个OWL本体，直到最近才使用Pellet推理器进行快速分类。但是，自从引入了几个新类以来，推理性能已经放慢了速度。虽然推理器完成并且本体不包含任何不可满足的概念等，但推理所花费的时间是不可接受的。我目前正试图追查可能导致经济放缓的违规类/类。
这是我的问题：是否可以记录Pellet的推理进程？即是否有可能产生一些输出，这些输出将记录颗粒在某些推理任务上花费了多长时间/跟踪任何给定类和公理的推理需要多长时间？如果是这样，有没有人有一些他们可以发布的java代码？
提前感谢您的回答！
答案 0 :(得分：2)
Bill Barnhill已提供an incredibly helpful answer to this question语义溢出。请继续前进！
答案 1 :(得分：0)
您是否尝试过使用Pellet的lint工具来诊断推理性能的缓慢下降？通过将其发布到pellet-users邮件列表中，您可以更好地获得对此问题的答案，包括导致问题的本体或可用于重现缓慢的某些子集。您也没有说明您正在使用哪个版本等。