用OWLAPI加载本体文件时的UnloadableImportException

Question

我正在开发一个maven插件来使用OWL-APIV3.4.3和HermiT 1.3.8.4验证OWL本体。一些OWL本体是专有的，因此在Web上不可用。

查看文档，我正在使用LoadOntologyFromontologyDocument()加载OWL文件以执行验证：

OWLOntology onto = ontoManager.loadOntologyFromOntologyDocument(new File($fileName))
Reasoner hermit = new Reasoner(onto);

当本体不导入任何专有本体，但否则返回UnloadableImportExceptionerror时，此操作很好。我见过有人使用addrimapper在本体URI和定义实体的物理文件之间创建链接，但我认为这在我的情况下行不通（主要是因为文件名未知）。

有没有办法告诉OWL API忽略导入？如果有的话，我可以在文件夹中迭代文件，并利用owlontologymerger一起验证所有本体。

Answer 1

OWLontologyManager有一个SetSilentMissingImportShandling（boolean b）您可以使用。将he参数设置为true将停止引发异常。

然而，我不知道为什么你会得到这些错误--除非检查是离线完成的？或者导入的本体不可下载。我看到的问题是，HermiT执行的验证将不包括所有将实际用于推理的本体论，因此您可能会从验证中得到假阳性和假阴性。