几种本体的推理
Reasoning of several ontologies
我在同一个 OWLOntologyManager 对象中加载了三个本体（o1、o2、o3）（o2 导入 o1，o3 导入 o2）。
我想得到 o3 ontology 与 Hermit 推理以从中得到不同的事实
（它应该使用来自 o1 和 o2 的合理公理）。
我是否应该将 o1、o2、o3 合并为一个新的（即使用 OWLOntologyMerger.createMergedOntology(...)）。
然后在合并的 ontology?
下执行 InferredOntologyGenerator.fillOntology(...)
还是o1,o2,o3独立串联推理得到相同的结果就够了？
以 o3 作为参数创建推理器就足够了。推理器自动使用导入的本体，无需合并。
我在同一个 OWLOntologyManager 对象中加载了三个本体（o1、o2、o3）（o2 导入 o1，o3 导入 o2）。
我想得到 o3 ontology 与 Hermit 推理以从中得到不同的事实 （它应该使用来自 o1 和 o2 的合理公理）。
我是否应该将 o1、o2、o3 合并为一个新的（即使用 OWLOntologyMerger.createMergedOntology(...)）。 然后在合并的 ontology?
下执行 InferredOntologyGenerator.fillOntology(...)还是o1,o2,o3独立串联推理得到相同的结果就够了？
以 o3 作为参数创建推理器就足够了。推理器自动使用导入的本体，无需合并。