python - 在 Python 中使用 HermiT

Question

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

Answer 1

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

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

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