java - 创建 HermiT 实例时出现 NoSuchMethodError

Question

我正在尝试创建 HermiT Reasoner 的实例，但控制台继续显示异常“noSuchMethodError”。

特别是这是来自 java 控制台的错误:

Caused by: java.lang.NoSuchMethodError: org.semanticweb.owlapi.model.OWLOntologyID.getDefaultDocumentIRI()Ljava/util/Optional;
at org.semanticweb.HermiT.structural.OWLClausification.preprocessAndClausify(OWLClausification.java:77)
at org.semanticweb.HermiT.Reasoner.loadOntology(Reasoner.java:214)
at org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:205)
at org.semanticweb.HermiT.Reasoner.<init>(Reasoner.java:179)
at org.semanticweb.HermiT.ReasonerFactory.createHermiTOWLReasoner(ReasonerFactory.java:51)
at org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:19)
at org.semanticweb.HermiT.ReasonerFactory.createReasoner(ReasonerFactory.java:15)
at org.processmining.plugins.myminer.knowledge.OWLOntologia.retrieve_property_class(OWLOntologia.java:76)
at org.processmining.plugins.myminer.knowledge.OntologyVisualizer.visualize(OntologyVisualizer.java:39)
... 13 more

我已经导入了 HermiT(版本 1.4.3.517)所需的所有依赖项，这就是创建 ReasonerFactory 的行:

OWLReasonerFactory reasonerFactory = new ReasonerFactory();

错误的行是:

OWLReasoner hermit = reasonerFactory.createReasoner(ontology);

正如控制台所说。

不明白为什么实例无法创建，为什么抛出异常。

Answer 1

我解决了更新到 owl-api 和 Hermit 最新版本的问题，使用 Maven 中央存储库找到了版本。