标签： prolog logic owl semantic-web description-logic
我正在考虑本体论中的推理。
DL推理机（例如Hermit，Pellet等）与Prolog之间的推理能力之间有什么区别？
我的意思是，让我们假设我有一个包含本体（一般公理）和事实的知识库。使用Prolog可以从中推断出什么，使用DL推理器可以推断出什么？
如果您还可以提供参考，那将很有趣。
最诚挚的问候