java - 使用 Pellet Reasoner 监控推理进度

Question

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

这是我的问题：是否可以记录 Pellet 的推理进度？即是否有可能产生一些输出来记录颗粒在某些推理任务上花费了多长时间/跟踪对任何给定类和公理进行推理需要多长时间？如果是这样，是否有人可以发布一些Java代码？

提前感谢您的回答！

Answer 1

Bill Barnhill在 Semantic Overflow 上为这个问题提供了非常有用的答案。请往前走！

Answer 2

您是否尝试使用 Pellet 的 lint 工具来诊断推理性能的下降？通过将其发布在颗粒用户邮件列表上，您还将有更好的运气来获得该问题的答案，包括导致问题的本体或可用于重现缓慢的本体子集。你也没有说你正在使用哪个版本，等等。