无法使用 HERMIT 实现一致 ontology
Consistent ontology can not be materialized using HERMIT
对于我的实验，我需要具体化一个由 TBox/schema 和 ABox/data 组成的 dbpedia ontology。
为此，我合并了 dbpedia ontology/TBox/schema (http://downloads.dbpedia.org/2016-04/dbpedia_2016-04.owl) with the ABox/data part from the DBPedia knowledge graph (I just took 2% of the data in http://downloads.dbpedia.org/2016-04/core-i18n/en/mappingbased_objects_en.ttl.bz2)。
在具体化这个合并文件之前，我运行首先使用HerMit reasoner进行一致性检查。合并后的文件是一致的。
但是当我 运行 使用 HerMit reasoner 的物化服务时（我使用了 https://github.com/owlcs/owlapi/issues/643 的代码），我发现了这个错误：比较方法违反了它的一般契约！
当我调试代码时，编译器调用此过程时出现错误：manager.saveOntology(inferredAxiomsOntology,outputStream)
一个一致的 ontology 不能被推理者具体化是相当困难的运行。
知道如何解决这个错误吗？ （合并后的文件可以在https://www.dropbox.com/s/l689hejgyv2xn7l/DBPRule1Ite1.owl.zip?dl=0下载）
非常感谢。
您需要使用更新版本的库。您发现的错误已在 2014 年 V4 系列开始时修复。
您可以使用 HermiT 1.3.8.413（使用 OWLAPI 4.1.3）或 HermiT 1.4.1.513（使用 OWLAPI 5.1.3）。两者都可以在 Maven Central 上找到：
对于我的实验，我需要具体化一个由 TBox/schema 和 ABox/data 组成的 dbpedia ontology。
为此，我合并了 dbpedia ontology/TBox/schema (http://downloads.dbpedia.org/2016-04/dbpedia_2016-04.owl) with the ABox/data part from the DBPedia knowledge graph (I just took 2% of the data in http://downloads.dbpedia.org/2016-04/core-i18n/en/mappingbased_objects_en.ttl.bz2)。
在具体化这个合并文件之前，我运行首先使用HerMit reasoner进行一致性检查。合并后的文件是一致的。
但是当我 运行 使用 HerMit reasoner 的物化服务时（我使用了 https://github.com/owlcs/owlapi/issues/643 的代码），我发现了这个错误：比较方法违反了它的一般契约！
当我调试代码时，编译器调用此过程时出现错误：manager.saveOntology(inferredAxiomsOntology,outputStream)
一个一致的 ontology 不能被推理者具体化是相当困难的运行。
知道如何解决这个错误吗？ （合并后的文件可以在https://www.dropbox.com/s/l689hejgyv2xn7l/DBPRule1Ite1.owl.zip?dl=0下载）
非常感谢。
您需要使用更新版本的库。您发现的错误已在 2014 年 V4 系列开始时修复。
您可以使用 HermiT 1.3.8.413（使用 OWLAPI 4.1.3）或 HermiT 1.4.1.513（使用 OWLAPI 5.1.3）。两者都可以在 Maven Central 上找到：