问题标签 [pellet]

Trying to list only the knowledge(new triples) by using PelletReasoner through Jena interface. I want only inferred data which is generated after applying the Pallet Reasoner and InfModel from ontology(OWL). Currently, I am listing all the individuals - which contain both asserted and inferred knowledge.

So how can i get only inferred knowledge from owl. Thanx in Advance..

我想用本体和颗粒推理器进行分类。Pellet 有一个功能（即实现（））来为个人找到最具体的。我已经尝试过，但它不起作用，任何人都可以提供一些帮助或给我一些例子。

例如，HavingDrink 是活动类之一。现在我创建一个个人及其 ObjectProperty：

它应该返回 HaveDrink 类，但它没有。

我在 Jena 中使用 Pellet 推理机。我将一些数据插入到 TDB 存储中。我还有一个文件中的模式本体和耶拿规则。我将通用规则推理器和 Pellet 分层。但是，由于文字数据类型，出现不一致的本体错误，但插入的数据具有与模式定义相同的数据类型。我的数据：

推理者：

错误得到：

我在 Protege 5 中有一个OWL 本体。当尝试询问一些 DL 查询时

这应该返回通过 objectProperty DropOff 精确到一基数相关的所有类。

使用Pellet推理器，异常会引发“此推理器不支持命名类”。使用Hermit推理器时，一切正常。

我知道命名类是具有引用 URL 的类。以下是我的观点：

• 使用未命名类的语义是什么？
• 为什么 Pellet 不支持命名类？
• 我的查询可以用 Pellet 可以接受的方式表达吗？

谢谢。

我被迫将外部推理器 Pellet 包含在我的 Fuseki 服务器中。到目前为止，一切都很好，尽管我无法删除包含诸如字符串或整数之类的文字的三元组。我的设置：配置了 Pellet 2.3.1 作为推理器的 Fuseki 0.2.6。
最小示例配置：

内存中加载的最小 owl 文件：

我在本地主机上使用“--update”标志运行服务器，将“test.owl”上方加载到默认图形中，然后插入两个文字：

查询与“Alfred”链接的所有三元组显示，插入成功：

然后我尝试删除 Alfred 的年龄和姓名：

但无论我尝试哪种删除模式，都无法删除文字。我检查了 SPARQL 更新语法没有错误。可以毫无问题地插入和删除不包含任何文字的三元组。我认为颗粒插件可能会引发这种行为，因为所有删除操作都使用 fuseki 服务器使用其默认的 jena 推理器。升级到 Fuseki 1.1.1 不是一种选择，因为这似乎会导致颗粒显示错误的兼容性/可见性问题：

我还尝试使用 TDB 数据库进行此操作，结果与我无法删除任何带有文字的三元组的结果相同。任何人都可以重现这种行为吗？有人知道解决方案或解决方法吗？我错过了什么吗？我会很感激任何提示。感谢您的支持和努力 - 迈克尔

I am working on ontology reconciliation between two ontologies. I apply the jena/pellet platform, locally, and apply sparql rules as much as possible. For inserts this is successful, for deletes it is not, no matter what I try. This raises the question whether sparql deletes are supported at all with jena/pellet. Please advise!

Please find the related code snippets below. First the code, then the sparql DELETE query.

the file "delQuery.sparql"

给定一个本体 O，并让 A、B 两个类和对象属性 P 和 Q 使得：

1. P结构域A
2. P 范围 B
3. A ⊑ =1 P.⊤
4. Q ⊑ P
5. A ⊑ =1 Q.⊤

因此，我们要证明 P ≡ Q，我们只需要证明 P ⊑ Q，因为我们在 (4) 中已经有了另一个方向 Q ⊑ P。得出 P ≡ Q 等价的结论；让

6. (x,y) ∈ P

那么 x ∈ A 和 y ∈ B 并且我们从 (5) 中得到 Q 将 A 的每个个体与 B 的一个个体联系起来；则必然存在 y′ ∈ B 使得 (x,y′) ∈ Q；通过（4），我们可以推断出

7. (x,y′) ∈ P

然后，根据 (3)、(6) 和 (7)，我们可以推断出 y = y'。因此，如果 (x,y) ∈ P，则 (x,y) ∈ Q，这意味着：

8. P ⊑ Q

然后，由（4）和（8）：

9. P ≡ Q

问题：

1. 这个结论是真的吗？
2. 推理机（例如，Pellet，通过 Protégé 插件）不会推断出 P ≡ Q，但是每次我断言 P(a,b) 时，推理机都会推断出 Q(a,b)，反之亦然！

我的本体是关于鸡尾酒的。这是一款名为“AfterGlow”的鸡尾酒

JusOrange意思是橙汁 JusAnanas意思是菠萝汁

aPourIngredient是一个property意思是“有（包含）成分”

这是列出我所有鸡尾酒及其限制的请求

我如何请求例如“选择所有包含 JusAnanas 和 JusOrange 的鸡尾酒”

你可以在这里找到我的本体：

我已经找到了一个丑陋的请求，但是它不可用，因为我们必须知道使用这种请求的本体。

我正在尝试将 Jena 2.12.1 与 Pellet 一起使用；我从他们的站点Jena 2.12.1下载了最新的 Apache Jena 库。

首先，我下载了Pellet 2.3.1并导入了 JENA 库。不幸的是，org.mindswap.pellet.jena.PelletReasonerFactory无法解决，因此我无法实例化推理器。

然后，我下载了多个版本的jar文件pellet-jena-2.3.2（试过2.3.1和2.3.0）。这解决了org.mindswap.pellet.jena.PelletReasonerFactory。但是它导致了异常：

我的代码：

问题是什么？有没有更好的方法将 jena 2.12.1 与 Pellet（任何版本）一起使用？

实际上，除了类分类成员之间的限制继承之外，当存在 subsummption 时，我迷失了域和范围语义。请看以下案例。

让我们考虑一下

那么，我们能不能推断出

让我们看看hasCar (x, y)x 是什么

从 (1):driver(x) 从 (2):human(x)

那么：无论如何x，如果hasCar(x, y)=> driver (x)=>

第一个问题：这个结论正确吗？为什么 Protege 5 with Hermit（Pellet 也没有，甚至 Jena 和一些推理者都没有）推断出这一点？

让我们考虑一下

以类似的方式，我们可以推断

第二个问题：这个结论正确吗？为什么 Protege 5 with Hermit（Pellet 也没有，甚至 Jena 和一些推理者都没有）推断出这一点？

让我们考虑一下

那么，我们可以推断

第三个问题：这个结论正确吗？为什么 Protege 5 with Hermit（Pellet 也没有，甚至 Jena 和一些推理者都没有）推断出这一点？

更新

将 Jena 与规范一起使用OntModelSpec.OWL_DL_MEM_RULE_INF会产生我预期的结果！但是，将 Jena 与 Pellet 一起使用不会，Protege 与 Hermit 或 Pellet 一起使用都不会！