2

我正在考虑在本体中进行推理。

DL 推理器（如 Hermit、Pellet 等）和 Prolog 之间的推理能力有什么区别？

我的意思是，让我们假设我有一个包含本体（一般公理）和事实的知识库。我可以用 Prolog 从中推断出什么，我可以用 DL 推理器推断出什么？

如果您也可以提供参考，那将会很有趣。

此致

4

0 回答 0