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