谓词等价

Question

我正在寻找一种方法来找到语义网的两个谓词（属性）是否等价？可能使用描述逻辑或其他方法吗？

非常感谢

Answer 1

如果我正确理解了问题，您可以使用类getEquivalentObjectProperties()的OWLAPI方法OWLReasoner。