如果推理程序一致并且发生了更改，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（）来通过缓冲推理器检查新的更改（对于非缓冲的更改将自动应用）。