如何在 Protege 4.3 中执行 SWRL 规则？答案

【问题标题】：How to execute SWRL Rules in Protege 4.3?如何在 Protege 4.3 中执行 SWRL 规则？
【发布时间】：2016-06-20 09:42:27
【问题描述】：

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

【问题讨论】：

@JimL。这是我做的第一件事，毕竟这是必要的。我的问题有什么问题？
标题怎么是个问题？
@JimL。您是否向所有用户提及这一点？正如我所见，首页很少在标题中出现问题。
您是否建议链接页面需要更改？
@Mandy 如果您正在运行支持 SWRL 规则的推理器（例如 Pellet），那么当推理器回答查询时将使用您的规则。您正在运行哪些查询而没有得到预期的结果？我有点同意 Jim L 的观点，这里的问题不是很清楚。有什么不工作的地方吗？

标签： protege swrl

【解决方案1】：

SWRL 规则需要一个支持它们的推理器（正如 Joshua Taylor 已经提到的）。这个推理器必须以 Protege 插件的形式出现，才能在 Protege 中使用。

Protege 通常至少附带一个支持 SWRL 规则的推理器，即 HermiT。您应该会在 Reasoner 菜单中看到它。

要使用任何推理器（用于 SWRL 或 OWL 推理），只需选择它并单击 Reasoner -> Start reasoner。

【讨论】：

谢谢。我下载了 Pellet 并执行了它，但没有任何效果。我为 Protege 3 找到了一个名为 Axiome 的插件，它处理图形中的规则，但它在 4 中不起作用。4 有类似的东西吗？还是其他相关的？
“无效”没有提供足够的信息来解决问题。你有错误吗？您的规则是否经过验证可以在门徒之外发挥作用？
没有任何效果，我的意思是它不会做任何事情而不会在某处显示任何错误。此外，我检查了规则是否正确。我还被告知推理者只需检查规则的有效性，如果我想“处理”它们，我需要使用 Java。是这样吗？
否 - 支持规则的推理器将它们无缝地包含在本体的处理中。