如果推理器是一致的，并且发生了更改，OWL API将保存本体

Question

我有一个本体，当且仅当发生了一些更改并且推理器(在我的例子中是小球)与这些更改一致时，我需要将其保存在文件中。所以我写:

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

只有当本体被修改时，我才会同步Pellet，如果它是一致的，则同步它并应用更改。知道怎么做吗?谢谢你

(编辑:我使用管理器。

Answer 1

最后，我使用了reasoner. getpendingchanges (). isempty()来检查缓冲推理器的新更改(非缓冲推理器的更改会自动应用)