python - 在 Python 中使用 HermiT

Question

我们有一个本体，但我们需要使用推理器 HermiT 来推断给定表达式的情感。我们不知道如何在 python 中使用和实现推理器，并且在互联网上找不到很好的解释。我们发现我们可以为此使用sync_reasoner()，但这究竟是做什么的呢？我们必须每次都手动调用推理器还是自动发生？

Answer 1

您不需要实现推理器。该sync_reasoner()函数已经在内部调用 HermiT 并为您进行推理。

推理器将为您重新分类个人和类，这意味着它创建了类和个人的父子层次结构。当您加载本体时，仅表示显式的父子关系。但是，当您调用推理器时，父子层次结构也会更新以包括推断关系。

中提供了一个示例Owlready2-0.5/doc/intro.rst。在调用sync_reasoner()printstest_pizza.__class__之前onto.Pizza，这是显式信息。但是，在调用sync_reasoner()printstest_pizza.__class__之后onto.NonVegetarianPizza，这是推断的信息。