prolog - 从 OWL 到 Prolog 代码

Question

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