owl - 在 Protege 5 中，什么最能减慢推理者的速度？

Question

我的本体现在是 3000 个公理，但我有很多人将来必须在那里。Reasoner会放慢大约 10 分钟的时间来进行推理。我认为这是不正常的，我正在努力让它变得更好并以某种方式解决它。可能是我有很多标签，如果这是一个问题的话。

Pellet 推断非常快 - 可能是 5 秒。

这两个推理者之间的真正区别是什么？是否可以互换。

会对您的所有评论感到非常高兴。谢谢！