Java 使用颗粒推理机监控推理过程

我目前正在构建一个OWL本体，直到最近才使用Pellet reasoner对其进行快速分类。然而，自从引入了几个新类之后，推理性能已经慢到了爬行的程度。尽管推理者完成了推理，并且本体不包含任何不可满足的概念等，但推理所花费的时间是不可接受的。我目前正在努力追踪可能导致经济放缓的违规班级

我的问题是：是否可以记录Pellet的推理过程？也就是说，是否有可能产生一些输出，记录pellet在某些推理任务上花费了多长时间/跟踪在任何给定类和axiom上进行推理需要多长时间？如果有的话，有没有人可以发布一些java代码

---

提前感谢您的回答

您是否尝试使用Pellet的lint工具诊断推理性能下降？通过在pellet用户邮件列表上发布这个问题，包括导致问题的本体或可用于重现慢度的某个子集，您也将有更好的运气得到这个问题的答案。您也不会说您正在使用哪个版本，等等。

比尔·巴恩希尔（Bill Barnhill）提供了关于语义溢出的信息。请到那边去