从 OWL 到 Prolog 代码

Question

我有一个 owl 本体，我会使用 prolog 规则和 XSB 来进行推理。我知道 THEA 库有助于将 owl 代码转换为 prolog，但没有可用的示例。那么有人可以帮助我吗？提前致谢。