如果推理程序一致並且發生了更改，OWL API將保存本體

Question

我有一個本體，當且僅當發生某些更改並且推理機（在我的情況下為pellet）與這些更改一致時，才需要將其保存在文件中。 所以我寫：

 reasoner.flush(); //sync reasoner
 if(reasoner.isConsistent())
 manager.saveOntology(ontos[1], new RDFXMLDocumentFormat(), IRI.create((new   File(file)).toURI())); 

僅當本體已被修改時，我才會同步Pellet，而不是如果它是一致的，則同步它並應用更改。 任何想法如何進行？ 謝謝

（編輯：我使用manager.applyChange方法來修改本體）。

Answer 1

最后，我使用了reasoner.getPendingChanges（）。isEmpty（）來通過緩沖推理器檢查新的更改（對於非緩沖的更改將自動應用）。