使用推理器無法在OWLAPI中獲得兩個等效的OWLClasses

Question

我是新的語義網站。我試圖解析本體，但在研究如何知道兩個OWLClasses彼此是等價的時遇到困難。

就像使用推理器一樣，OWLApi提供了不同的方法來提取信息，例如：對於子類我們可以使用this.reasoner.getSubClasses（）。同樣的方式，我可以通過任何方式知道我是否有兩個ClassA和ClassB類，它們是等價的。我在java中使用OWLAPI。

任何建議，將不勝感激。

Answer 1

使用OWLReasoner.isEntailed()並將參數傳遞OWLAxiom使用OWLDataFactory.getOWLEquivalentClasses(A, B)創建，其中A和B是您的類。