使用Pellet推理器监控推理进度

Question

我目前正在构建一个OWL本体，直到最近使用Pellet推理器进行快速分类。然而，自推出几个新类以来，推理性能已经放缓。尽管推理者完成了，本体论并没有包含任何不可理解的概念等，但推理所花费的时间是不可接受的。我目前正在设法追查可能导致经济放缓的违规班级/班级。

这是我的问题：是否有可能记录Pellet的推理过程？即是否有可能产生一些输出，用来记录粒料在特定推理任务/痕迹上花费了多长时间，以及对任何给定类别和公理推理的时间有多长？如果是这样，有没有人有一些Java代码，他们可以发布？

在此先感谢您的答案！

Answer 1

Bill Barnhill已经在语义溢出上提供了an incredibly helpful answer to this question。请继续前进！

Answer 2

您是否尝试过使用Pellet的lint工具来诊断推理性能的变慢？通过将它发布在pellet-users邮件列表中，包括导致问题的本体或可用于再现缓慢的一些子集，您也将有更好的运气获得对此问题的答案。你也不会说你正在使用哪个版本，等等。