我是 OWL 的新手。我需要知道如何将 SWRL 中的以下规则转换为 OWL 公理。
规则：
Taxon(?x), Taxon(?y), family(?y, "Myctophidae"), scienceName(?x, "Mirounga leonina") → is_predator_of(?x, ?y)
在哪里：
“Taxon”是一个类，“family”和“scientificName”是一个数据类型属性，“is_predator_of”是一个对象属性。
我阅读了一些关于如何解决转换的帖子，但我无法在 Protégé 中完成，即使使用 ROWL 中的插件，任何贡献都将受到欢迎。非常感谢！