一致性本体不能使用隐士实现

Question

在我的实验中，我需要实现一个由TBox/schema和ABox/data组成的dbpedia本体。

为此，我将dbpedia本体/TBox/schema (2016-04.owl)与DBPedia知识图中的ABox/data部分合并(我只在en.ttl.bz2中获取了2%的数据)。

在实现这个合并文件之前，我首先使用HerMit推理器运行一致性检查。合并的文件是一致的。

但是当我使用HerMit推理器运行物化服务时(我使用了来自https://github.com/owlcs/owlapi/issues/643的代码)，我发现了这个错误:比较方法违反了它的一般契约！当我调试代码时，当编译器调用这个过程时会引发错误：manager.saveOntology(inferredAxiomsOntology,outputStream) --一个一致的本体不能由推理者实现，这是非常奇怪的。

知道如何解决这个错误吗？(合并的文件可以从https://www.dropbox.com/s/l689hejgyv2xn7l/DBPRule1Ite1.owl.zip?dl=0下载)

非常感谢。

Answer 1

您需要使用更新版本的库。你发现的漏洞是在2014年V4系列开始时修复的。

您可以使用HermiT 1.3.8.413 (它使用OWLAPI4.1.3)或HermiT 1.4.1.513 (它使用OWLAPI5.1.3)。这两种方法都可以在Maven Central获得：

http://search.maven.org/#search%7Cgav%7C1%7Cg%3A%22net.sourceforge.owlapi%22%20AND%20a%3A%22org.semanticweb.hermit%22