OWL API保存ontology如果reasoner是一致的并且发生了更改
我有一个本体需要保存在文件中，当且仅当发生了一些更改，并且推理器（在我的例子中是pellet）与这些更改一致。所以我写道：
reasoner.flush(); //sync reasoner
if(reasoner.isConsistent())
manager.saveOntology(ontos[1], new RDFXMLDocumentFormat(), IRI.create((new File(file)).toURI()));
我将同步Pellet只有当本体已经修改，而不是如果它是一致的同步它并应用更改。知道怎么继续吗？谢谢你
共有1个答案
最后，我使用reasoner.GetPendingChanges（）.IsEmpty（）检查使用缓冲推理器的新更改（使用非缓冲推理器，更改自动应用）。
-
本文向大家介绍在并发情况下，Elasticsearch 如果保证读写一致？相关面试题，主要包含被问及在并发情况下，Elasticsearch 如果保证读写一致？时的应答技巧和注意事项，需要的朋友参考一下 1、可以通过版本号使用乐观并发控制，以确保新版本不会被旧版本覆盖，由应用层来处理具体的冲突； 2、另外对于写操作，一致性级别支持 quorum/one/all，默认为 quorum，即只有
-
问题内容： 我已经坚持了好几个星期，而且我没有最模糊的想法出了什么问题。我已经很浪费了，因为我已经浪费了很多时间 我使用下面描述的数据模型（MySQL）。我已经通过反向工程（Eclipse / JBoss Tools）创建了hbm.xml和java类（请参见下面的示例）。 当我尝试保存推文，单词或事件时，我可以在日志消息中看到生成了pk值并且正确绑定了参数，但是没有任何内容写入数据库。（请参阅帖子
-
我试图在不一致的本体上运行一致性检查，Pellet和Hermit Reasoner没有给出不一致性。然而，Protege成功地标记了不一致的类。具体来说，我正在将SBVR规则更改为OWL2.0。所以我的规则是租车必须至少用3张信用卡投保；租车必须由至少5张信用卡投保； 相应的本体是 Hermit和Pellet将本体论标记为一致的，而AsProtege将这两个类标记为不一致的。 现在，如果我把我的S
-
我现在可以更改为Visual Studio代码编辑器吗？在使用Git bash的同时，会不会在以后的作品中造成什么问题呢？我仍然没有找到这个问题的答案。但我想，我现在会得到我的答案。提前谢谢你。
-
所以我在我的开发项目中遇到了另一个路障。 另一个问题是，当我在Frag1中，然后在EditText中键入一些文本，然后更改方向时，尽管实现了onSaveInstanceState（Bundle Bundle），文本还是会消失。 以下是我的相关代码片段： 在activity.java中创建Frag1的代码段 AddPointsFragment.java的代码段 我尝试在代码中运行调试器，以了解在更改