Protege 使用哪个库来解释不一致的 ontology？

Question

我想在我的 Java 程序中复制 Protege 中的解释功能，以便为不一致的本体提供解释。其他的ontology相关的操作我一直主要是用"owlapi"，但是好像没有相关的方法来解释。我还找到了 "owlexplanation" 库，但不确定它是否是 Protege 中使用的库。任何人都可以提供任何指示吗？

Answer 1

explanation-workbench, as mentioned in the comments, integrates owlexplanation 在 Protege 框架中。您可以直接使用 owlexplanation 来获得 Protege 显示的相同结果。