在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，这是推断的信息。