使用Pellet推理器监控推理过程

Question

我目前正在构建一个OWL本体，直到最近才使用Pellet推理器对其进行快速分类。然而，由于引入了几个新的类，推理性能已经减慢到爬行。尽管推理机完成了，本体不包含任何不可满足的概念等，但推理所需的时间是不可接受的。我目前正在尝试追踪可能导致速度减慢的违规类/类。

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

提前感谢你的回答！

Answer 1

Bill Barnhill在语义溢出上提供了an incredibly helpful answer to this question。请往前走！

Answer 2

您是否尝试过使用Pellet的lint工具来诊断推理性能中的速度减慢？通过在pellet用户邮件列表上张贴这个问题的答案，你也会有更好的运气，包括引起问题的本体或它的一些子集，可以用来重现缓慢。你也没有说你使用的是哪个版本，等等。