问题标签 [swrl]

为了解决符号规划问题，我们编写了行动理论。编写行动理论的流行语言是 STRIPS 和 ADL。

为了描述一个动作，我们需要提供：

• 先决条件
• 效果

例如，在机器人领域，我们有Robot和Object类，以及closeTo和holding属性。

如果成立，则该动作pickUp(?robot, ?object)是可能的closeTo(?robot, ?object)，并且也是forall ?o in Object . not holding(?robot, ?o)。

如何用 OWL 和/或 SWRL 表示先决条件？

动作效果怎么样？

我正在尝试使用 SWRL 规则捕获冲突。我了解到 SWRL 确实支持空头规则（结果）。但是Protege 不允许定义这样的规则。我想要实现的一个虚拟示例是

这意味着不可能通过 hasSon 和 hasDaughter 属性将一个人与同一个人联系起来。如果在 protege 中不可能，请指导我如何实现这一目标。

我的本体中有三个类

我想查询 babyAge (6+) 的数据食物并品尝 (asam)

我在我的java程序中使用了这段代码（我不知道是否有比这个更简单的代码，如果你知道也请告诉我）：

我得到了我的数据。但是当我在 protege 中执行该代码时，我什么也没有得到。有人能帮我吗？

我在 Protege 4.3 中创建了一个本体以及一组 SWRL 规则。为了执行这些规则并执行查询，我是否需要另一个程序来使用 Protege 或插件？推理器对这项工作有用吗？搜索我遇到了很多推理器，但我无法理解它们的用法，尽管我相信它们可能是相关的。我在这里发现了很多关于 Protege 的问题，但没有一个真正有帮助。

我已经在我编写的本体中编写了 SWRL 规则。具体来说，规则是：

当我在 Protege 中使用 Hermit 推理器对其进行测试时，这工作得很好，但是当我在 Blazegraph 中测试它时它不起作用。我在这里读到 Blazegraph 可以使用规则，但我想让 SWRL 与 Blazegraph 一起工作。可能吗？

我有一个关于只有类 Person 的本体的示例，并尝试创建一个集合 throw sqwrl:makeBag

而且我有 4 个人类型为 Person 但是当我运行查询结果是 1。我不知道为什么请帮助我非常感谢

我正在使用 Protege 5.0 测试版。这个版本支持 SWRL，但每当我点击它的选项卡时，我只会看到一个空白屏幕。

这是一个快照

Protege 5.0 SWRL 选项卡

帮助将不胜感激。

假设我们有以下规则：

Course(?x), teacherOf(?y,?x),worksFor(?y,?z) => coursePresentedInUniversity(?x,?z)

颗粒或 java 中是否有任何库可以将上述规则转换为 SWRL 代码？例如，以下内容：

我知道颗粒可以做相反的事情（使用reasoner.getKB().getRules()），但我不知道是否有任何东西可以将表示转换为 SWRL XML 代码。谢谢！

Instead of using Protégé to add rules to my ontology, I want to use Java or pellet to add SWRL rule to the ontology.

For example, this is the rule that I want to import into my ontology:

[Course(?x),teacherOf(?y,?x),worksFor(?y,?z)] => [coursePresentedInUniversity(?x,?z)]

I want to add the following code into the ontology:

Could anybody point me out to a sample code to do that?

Actually, I wrote the following code, but it didn't work!

使用 Protege 和 SWRL 选项卡，我有下面提到的本体。它由班级Test和班级组成Shadow，其中Test有三个人t1, t2, t3。我试图定义一个 SWRL 规则，Shadow为 的每个现有个体创建一个类个体Test，该规则是

问题：

1. Shadow只创建了, named的一个个体fred，而不是三个（对应于t1, t2, t3）。

2. 如何控制始终命名的结果个体的命名fred？

   /li>