Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我在 Protege 4.3 中创建了一个本体以及一组 SWRL 规则。为了执行这些规则并执行查询,我是否需要另一个程序来使用 Protege 或插件?推理器对这项工作有用吗?搜索我遇到了很多推理器,但我无法理解它们的用法,尽管我相信它们可能是相关的。我在这里发现了很多关于 Protege 的问题,但没有一个真正有帮助。
SWRL 规则需要一个支持它们的推理器(正如 Joshua Taylor 已经提到的)。这个推理器必须以 Protege 插件的形式出现,才能在 Protege 中使用。
通常 Protege 附带至少一个支持 SWRL 规则的推理器,即 HermiT。您应该在 Reasoner 菜单中看到它可用。
要使用任何推理器(用于 SWRL 或 OWL 推理),只需选择它并单击Reasoner-> Start reasoner。
Reasoner
Start reasoner