使用 Pellet Reasoner 监控推理进度

Question

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

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

提前感谢您的回答！

Answer 1

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

Answer 2

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