我正在使用 HermiT 1.3.8.3 在 Protege(4.1 和 5.0)和我正在使用 OWL API 3.5 开发的 Java 应用程序中对 OWL 本体(230 个类、21 个对象属性、30 个实例和 30 个 SWRL 规则)进行推理.0.
问题是,虽然在 Protege HermiT 中对实现本体进行分类需要 225 秒,但在我的应用程序中,使用相同的本体完成任务所需的时间是其两倍或三倍。除此之外,Protege 的 DL-query 选项卡在几秒钟内回答的任何查询都需要几分钟才能在应用程序内部得到回答(使用创建与查询等效的 OWLClassExpression 并让 HermiT 推理的技术)。
有人知道为什么会这样吗?这是推理器配置的问题还是类似的问题?
谢谢!