一致性本体不能用HERMIT实现
对于我的实验，我需要具体化一个由TBox/模式和ABox/数据组成的dbpedia本体论。
为此，我将dbpedia本体论/TBox/模式（http://downloads.dbpedia.org/2016-04/dbpedia_2016-04.owl）与DBPedia知识图中的ABox/data部分合并（我在http://downloads.dbpedia.org/2016-04/core-i18n/en/mappingbased_objects_en.ttl.bz2中只取了2%的数据）。
在具体化这个合并文件之前，我首先使用HerMit reasoner运行一致性检查。合并的文件是一致的。
但是当我使用HerMit reasoner运行物化服务时（我使用了https://github.com/owlcs/owlapi/issues/643)，我发现了这个错误：比较法违反了它的总合同！当我调试代码时，编译器调用此进程时引发错误：manager。saveOntology（推断出的公理学，输出流）很奇怪，推理机无法具体化一致的本体。
知道如何解决这个错误吗？（合并后的文件可以从https://www.dropbox.com/s/l689hejgyv2xn7l/DBPRule1Ite1.owl.zip?dl=0下载）
非常感谢你。
共有1个答案
您需要使用较新版本的库。您发现的bug在2014年V4系列开始时已修复。
您可以使用HermiT 1.3.8.413（使用OWLAPI 4.1.3）或HermiT 1.4.1.513（使用OWLAPI 5.1.3）。在Maven Central上提供这两种服务：
http://search.maven.org/#search|gav | 1 | g:“net.sourceforge.owlapi”和a:“org.semanticweb.hermit”
-
我试图在不一致的本体上运行一致性检查，Pellet和Hermit Reasoner没有给出不一致性。然而，Protege成功地标记了不一致的类。具体来说，我正在将SBVR规则更改为OWL2.0。所以我的规则是租车必须至少用3张信用卡投保；租车必须由至少5张信用卡投保； 相应的本体是 Hermit和Pellet将本体论标记为一致的，而AsProtege将这两个类标记为不一致的。 现在，如果我把我的S
-
目前线程模型 非一致性场景 1，客户端请求加锁写入db和binlog文件 2，将结果返回客户端 3，通过发送BinlogSync请求向从库同步 4，从库返回BinlogSyncAck报告同步状况 一致性场景 1，客户端请求先写入binlog文件 2，通过发送BinlogSync请求向从库同步 3，从库返回BinlogSyncAck报告同步状况 4，将相应的请求写入db 5，将结果返回客户端 Bin
-
按照下面的介绍youtube.com/playlist?list=plea0wjq13cnafcc0azrcyqucn_tpeljn1创建本体。它稍微缩小了http://prntscr.com/bo4l3w，我自己添加了canBeTutor（意思是某人可以成为某人的导师）对象属性。据我理解，我可以添加SWRL规则，然后启动reasoner来创建新的知识。所以我添加了prntscr.com/bo4l
-
我有一个这样的模型： 由于以上字段都不是唯一的，所以电子邮件也不是唯一的，因为许多人可能没有电子邮件ID。因此，我使用以下逻辑创建字符串id 我使用get_or_insert插入实体。 虽然添加用户不会经常发生，但任何冲突都会是灾难性的，这意味着竞争的可能性较小，但其影响非常大。 我的问题是： PS：出于几个原因，我不能将所有用户实体保留在同一个实体组中。
-
我正在努力实现强烈的一致性。让我们调用我的模型PVPPlayer： 模型的每个关键点都是这样创建的： 其中，配置文件是父模型： 我有2个REST api url： 在1）我做： 在2）我做： 我的流程如下所示： 问题： 使用保证了很强的一致性，所以我不明白的是为什么有时由于，我得到了一些陈旧的数据，比如点根本没有更新。 示例：
-
简介 副本一致性提供主从副本在短时间内达到数据一致的功能。 具体请求流程如下： 1，客户端请求到主分片上 2，主分片同步请求到一定个数(replication-num)从分片上 3，主接收到一定个数（consensus-level）的从反馈ACK 4，数据落盘，返回客户端请求 注意 目前副本一致性功能只能在分片模式下运行。 由于成员变换的功能暂时不支持，不建议在主从关系建立之后更换新的从副本。 关