问题标签 [pellet]

如何使用Pellet reasoner执行这些查询？

1. 从美国获取所有比萨饼（通过hasCountryOfOrigin酒店）。
2. 获取所有带有菠菜配料的比萨饼（通过hasTopping酒店）。

我找不到有关此主题的任何示例或信息。

我找不到一些体面的简单代码示例，将 SWRL 和 Jena 与 Pellet 一起使用，或者至少使用 SWRL？我研究了 Pellet 文档中的一些示例，但没有关于使用 SWRL 的示例。网络上的大多数示例都不完整且令人困惑。

我找到的唯一解决方案是使用 Jess Rule Engine，但它不是免费的，并且是在商业许可下的。我发现 Pellet 支持 SWRL 规则，但找不到运行示例。

我发现的唯一例子是这个，但我不明白：

我正在使用 Jena 运行 Pellet，如下所示：

我的 TDB 或原始数据是 2.7G。我一直在针对 TDB 运行推理器，但我遇到了“GC 开销限制超出 java”的问题，尽管我给程序提供了 45G 左右的内存，推理器只占用了 30G，然后就崩溃了。换句话说，它没有达到计算机内存的最大值。

另一个问题是关于 Pellet，当我在小数据集中运行上面的代码时，我得到了太多相同的 AS、不相交等。这是一个错误还是我对 Pellet 做错了什么？

我正在使用 Jena 运行 Pellet，如下所示：

我在Pellet Reasoner 下与 Jena有过上一篇文章。我的 TDB 或原始数据是 2.7G。我一直在针对 TDB 运行推理器，但我遇到了“PermGen 空间 java”的问题，尽管我给程序提供了 70G 左右的内存，推理器只占用了 30G，然后就崩溃了。换句话说，它没有达到计算机内存的最大值

我正在运行 Linux 和 Java 64 位，服务器中有 83 G 内存。我已经坚持了一周。

我刚刚开始使用 Protegé 进行本体研究，并且正在尝试了解如何使用 SWRL 规则。恐怕我不明白这个概念或如何正确对待它们，因为我无法产生任何输出。我将解释一个我创建的简单案例来测试这个：

我创建了三个人，分别称为 A、B 和 C。每个人都有一个测试属性，它有一个布尔值范围。在每一个的属性断言选项卡上，我已经初始化了它们的值，所以它们是test(A,true),test(B,true)和test(C,true). 为了测试规则是如何工作的，我创建了一个这样的规则：test(A,true), test(B,true) -> test(C,false). 我的理解是，如果 A 和 B 的测试属性为真，则 C 的测试属性将变为假。为此，我启动了推理器（Pellet），但没有任何反应。我的意思是，它说推理器处于活动状态并且没有出现“不一致的本体”消息，但是 C 的测试值没有改变。我确信这一定是一个非常简单的混淆，但我似乎无法在任何地方找到它，也无法检查规则是否已被激活。

先感谢您。

我的任务是在 owl 中构建两个类。Base 类描述了包含多个属性的资源，例如 p1、p2 和 p3。另一个类，Sub，应描述类似于 Base 类的资源，但有限制，即它们不包含其属性之一，例如 p1，而仅包含 p2 和 p3。例如，类 Car 将描述包含一些属性的车辆，其中之一是“hasMotor”。自行车类也将描述具有限制的车辆，即它们没有马达。

我使用基数限制来定义这样的类：

但是 Pellet 推理器得出的 Sub 类等同于 Nothing。在 owl 中应该如何描述提到的两个类？

我的问题与 SWRL 规则有关，实际上已经被另一个用户问过（请参阅Protégé-OWL / SWRL 中的本体属性定义）。尽管如此，在按照如何让它工作的说明之后，我还是没有成功。

在我的本体中，我必须处理一些复杂的时间事实（与时间间隔等有关），因此我导入了Time Ontology。在解决实际问题之前，我先考虑一个简单的示例，测试如何根据 SWRL 规则为数据属性分配值。这个简单的例子处理一个类Person。还有一个BirthYear类（Time Ontology 中Instant类的子类）。对象属性BornInYear，域Person和范围BirthYear将Person与他/她的出生年份联系起来。我想计算这个人当年的年龄，因此我制定了这个 SWRL 规则：

人(?p) ∧bornInYear(?p, ?birthYear) ∧ 减法(?age, 2014, ?birthYear) → 年龄(?p, ?age)

在创建Person类的个人并断言他/她的BirthYear具有 value"1977"之后，我希望 Pellet 计算出这个人的年龄是37。这不会发生。知道为什么吗？SWRL 规则是否正确？（为了知道该值37是否被断言到数据属性age，我查看了个人 p 的“属性断言”视图。我还确保在推理器首选项中选中了“对象属性断言”复选框.) 我的示例本体如下所示：

是否有任何即时接受规则（SWRL）的语义网络推理器（例如 Pellet）？或规则必须在启动推理器之前进行硬编码

事实上，我使用带有 OWL API 的 java prgramation 在 OWL2 语言上定义了一个本体。我将所需的 jar 集成到我的项目中以使用推理引擎 Pellet。我的问题是我如何在我的本体中检测逻辑上等价的概念组？这里是我使用 Pellet 的代码。

我需要 Pellet 的 Java 代码，它允许检测组逻辑上等效的概念。我会很感激你的帮助。提前致谢

我在 Datalog Form 中有多个个人推理规则。我可以扩展 JenaGenericRuleReasoner以便在推理步骤中将它们考虑在内。这是执行此操作的代码示例：

实际上，我想使用Pellet推理器，因为它很容易插入 Jena。我想知道是否Pellet可扩展为GenericRuleReasoner？如果是，如何在其中添加我的 Datalog 规则？