我是OWL API的新手，我想知道是否有一种方法可以用推理器(HermiT(获取的所有新关系更新本体。我找不到教程或很多文档，所以我想打电话给
reasoner.classifyClasses();
reasoner.classifyDataProperties();
reasoner.classifyObjectProperties();
reasoner.precomputeInferences();
reasoner.flush();
将对新关系进行分类。然后，我不知道如何翻译这些新的关系来创建一个更新的本体。我知道如何手动迭代新的关系，并在本体中不存在的情况下添加它们，但我正在寻找一种更简单的方法。此外，我不完全确定以上代码是否为我解释了所有新关系，所以请告诉我是否应该进行任何更正。
您可以为此目的使用InferredOntologyGenerator。可以使用推理器作为输入和InferredOntologyGenerator::fillOntology方法来创建类，以将所有可以推断的公理添加到新的本体中。
注意，公理生成可能是一个非常缓慢的操作。首先尝试使用一个小本体，看看结果是否符合您的需要。