OWL API 保存 ontology 如果 reasoner 是一致的并且发生了变化

Question

我有一个 ontology 当且仅当发生了一些变化并且推理者（在我的例子中是 pellet）与这些变化一致时，我需要将其保存在文件中。所以我写：

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

只有当 ontology 被修改时我才会同步 Pellet，如果它是一致的则同步它并应用更改。知道如何进行吗？ 谢谢

（编辑：我使用 manager.applyChange 方法来修改 ontology）。

Answer 1

最后，我使用 reasoner.getPendingChanges().isEmpty() 来检查带有缓冲推理器的新更改（非缓冲推理器会自动应用更改）。