我找到了一些关于它们的简短文章，对我来说，它们似乎都是通过逻辑来推断事物，类似于 Prolog 的工作方式。我必须补充一点，我是这个领域的新手，所以我可能是错的。而且错的很离谱。

回答：

一个 推理器 和一个 推理引擎 在人工智能中本质上是同一件事，即一种能够从一组断言的事实中推断出逻辑结果的软件（是的，这与 Prolog 所做的事情类似）。推理器的能力取决于它所知道的公理和推理规则，而这些公理和推理规则又与特定类型的逻辑相关。

语义推理器 可能是“语义 Web 推理器”的缩写，也就是为 语义 Web 准备的推理器。在这种情况下，这样的推理器知道语义 Web 标准底层逻辑形式主义的公理和推理规则，特别是 OWL Web 本体语言。

如果您想了解更多关于 OWL 的细节，以便更好地理解“语义 Web 推理器”可以做什么，您可能需要查看 OWL Web 本体语言语义和抽象语法，或者，如果您真的想深入了解理论细节，您必须深入研究 描述逻辑。