Owlapi：创建（隐士）推理器后修改本体
我将OWLAPI与HermiT一起使用，除非在创建了推理器之后尝试修改本体，否则它是有效的。
共有1个答案
推理器可以在缓冲或非缓冲模式下创建。在非缓冲模式下，本体更改将被立即同步。
您可能使用缓冲模式。要进行同步，请调用flush（）方法。
-
我想创建新的推理器（隐士）。 2）使用构造函数:[org.semanticweb.hermit.reasoner]
-
我想从reasoner[隐士]那里得到推断出的公理，以及它的适当解释。我在Protege中创建了以下本体论。 A.OWL 以下是我的Java代码：- 门生形象：-
-
如何使用HERMIT reasoner 1.3.8在Java中执行SPARQL查询？我使用的是owlapi 4.2，我使用以下方法加载了HERMIT reasoner： 不幸的是，我找不到任何关于如何使用此推理器执行SPARQL查询的解释？！这可能吗？如果没有，我使用owlapi和SPARQL还有什么其他的可能性（其他原因）？ 编辑： 我现在知道我需要一个SPARQL引擎。这就是我这样使用SPAR
-
我通过Protege创建了以下本体。 本体： 我想运行HermiT reasoner获得推断的类层次结构及其解释。 1）[在Ontology中提供] 2）[在Ontology中提供] 我想像Protege一样获取数据。Protege分别显示推断出的公理及其解释。那么如何得到它们呢？（我添加了一些protege的截图供参考） 我的本体： 承担说明：
-
我试图学习如何正确地使用OWLAPI，但我遇到了一些麻烦：我有一个本体来构造活动（例如个人和社会活动）；我的目标是创建一个简单的不一致性示例，以便使用这个API：我想声明足球是一个单独的活动。在Protegé中定义为。 下面是Hermit Reasoner的配置： 我创建个人Paolo和Marco是为了创建一个以上的作为的，但是方法仍然返回true，而我需要一个false值。另外，我打印了ABOX