问题标签 [pellet]

我在使用 Protoge 中的 Pellet 解析我的本体时遇到了麻烦。

我已将 SeDI 本体从http://bioportal.bioontology.org/ontologies/SEDI（提交 1.0）加载到 Protege。当使用 Pellet 推理器对该本体进行分类时，进度条保持在 ca。20% 并在很长一段时间（很多分钟）后以 OutOfMemory 错误结束。使用 FaCT++ 和 HermiT 等其他推理器进行分类成功，只需几秒钟。

非常感谢任何提示。

伊戈尔。

我使用https://www.jarfire.org/pellet.html

运行示例，出现错误

java.lang.ClassCastException：com.hp.hpl.jena.reasoner.rulesys.FBRuleInfGraph 无法在 tutorial.HelloWorld.main(HelloWorld.java:178) 中转换为 org.mindswap.pellet.jena.PelletInfGraph

我知道我可以在 SubClassOf 关系上添加注释：

然而，我真正想做的是：

我想要的是创建一个对所有具有关系的对象有意义的注释：prop1：instance1 和：prop2：instance，而不是子类关系。

我不想为 ObjectIntersectionOf 创建一个类，因为在我的真实示例中将有数千个这样的类。

在以下文件上运行颗粒 2.3.1 会产生以下错误：

草稿2.owl

I have an ontology that I need to save on file if and only if some changes occured and the reasoner (pellet in my case) is consistent with these changes. So i write:

I would synchronize Pellet only if the ontology has been modified, than if it is consistent synchronize it and apply changes. Any idea how to proceed? Thank you

(Edit: I use manager.applyChange method in order to modify the ontology).

I try to use swrl in java owl-api with pellet. I have looked at : owl2 and swrl tutorial test of builtin swrl in pellet and swrl definition

I manage to use swrl for simple inference like : A(?x) -> B(?x)

But I'm stuck when it is need to use "builtin" swrl predicat like (equal, greaterThan, lesserThan, etc...) I think there is a problem somewhere is my test program (probably in namespaces) but I can't find where.

The expected output is :

but the actual output is :

The A class is not found. Here the code of my program :

The test program run using this :

Can someone can help me to fix-it ?

我正在使用带有 OWL API 的最新版本的颗粒推理器：

管理器加载了几个本体。现在，我需要将 Pellet 对管理器加载的所有本体所做的所有推论保存在一个文件中，但我找不到任何示例。有人可以帮助我吗？谢谢 ！

我一直在努力为我的 owl 本体添加属性具体化，我在 W3 wiki 中遇到了关于Property Reification的提案。我想知道 Pellet（或任何推理者）是否能够理解词汇和推理，无论是原生还是通过 SWRL 规则。建议的词汇表位于此处。

我已经使用 protege4 构建了一个本体，我想用 java 进行操作。我试过了，使用颗粒推理器。

但我有一些错误。

请我需要一些帮助，因为我不明白代码有什么问题。

编码 ：

最好的问候，格蕾丝

我使用 Pellet 和 OWL API 来填充本体和 Jena 进行一些查询。问题是我在查询标签时没有获得结果。我的代码是：

如果我要求一个标签，例如使用
Select ?x ?y WHERE { ?x rdfs:label ?y.}
我获得一个空字符串作为标签。该查询在 protegè 中工作，提供所请求的标签。有什么建议吗？

本体的片段：

这里是项目的maven pom文件：

我正在使用 OWL（版本 4.0.2）和 Pellet（3.0）来填充本体，然后使用 SWRL 规则来推断新事实。但是，当我尝试进行推断时，OWL API 中的一些 jar 正在打印大量消息，但最终没有显示结果 - 事实上，我不会等到最后，因为它需要永远执行。

这是我设置一些本体信息的地方：

我向您发送部分日志：

14:54:38.961 [main] 调试 osorrp.rdfxml.parser.TripleLogger - 三元组总数：4788 14:54:38.966 [main] 调试 osorrpOptimisedListTranslator - 列表：ObjectPropertyAtom（http://www.semanticweb.org/michel/ ontologies/2014/6/TwitterOntology#hashtagContainedInTweetRule Variable() Variable()) 14:54:38.967 [main] 调试 osorrpOptimisedListTranslator - 列表：ObjectPropertyAtom（http://www.semanticweb.org/michel/ontologies/2014/6/TwitterOntology #posts Variable() Variable()) 14:54:38.967 [main] 调试 osorrpOptimisedListTranslator - 列表：DataPropertyAtom()

14:54:40.316 [main] INFO ccoeBlackBoxExplanation - 初始公理计数：50 14:54:40.319 [main] INFO ccoeBlackBoxExplanation - 扩展公理（扩展 0） 14:54:40.320 [main] INFO ccoeBlackBoxExplanation - ... 扩展了 62 14:54:40.321 [main] INFO ccoeBlackBoxExplanation - 扩展公理（扩展 1） 14:54:40.322 [main] INFO ccoeBlackBoxExplanation - ... 扩展 77 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - 扩展公理（扩展 2 ) 14:54:40.324 [main] INFO ccoeBlackBoxExplanation - ... 扩展了 96 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - 扩展公理（扩展 3） 14:54:40.328 [main] INFO ccoeBlackBoxExplanation - ... 扩展by 120 14:54:40.333 [main] INFO ccoeBlackBoxExplanation - 扩展公理（扩展 4）14:54:40.334 [main] INFO c。coeBlackBoxExplanation - ... 扩大了 150

如果你们中的一些人能给我任何提示，我会非常感激。

问候，米歇尔。