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