从OWL到Prolog代码

Question

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