您不需要实现推理器。该sync_reasoner()函数已经在内部调用 HermiT 并为您进行推理。
Reasoner 将为您重新分类个体和类,这意味着它创建类和个体的父子层次结构。当您加载本体时,仅表示显式的父子关系。但是,当您调用推理程序时,父子层次结构也会更新以包含推断的关系。
中提供了一个这样的示例Owlready2-0.5/doc/intro.rst。在调用之前sync_reasoner()调用test_pizza.__class__prints onto.Pizza,这是显式信息。但是,在sync_reasoner()调用test_pizza.__class__prints之后onto.NonVegetarianPizza,这是推断出的信息。
| 归档时间: |
|
| 查看次数: |
604 次 |
| 最近记录: |