如何在 Protégé 中用 OWL 解决爱因斯坦之谜时获得个人结果？

Posted 2023-05-08

【中文标题】如何在 Protégé 中用 OWL 解决爱因斯坦之谜时获得个人结果？

【英文标题】：How to get individual results while solving Einstein's riddle with OWL in Protégé?

【发布时间】：2011-05-07 22:31:48

【问题描述】：

我想更好地理解本体和推理。网上有个有趣的谜题叫Einstein's riddle，可以借助本体和推理来解决。我从该站点下载了 OWL 本体并将其导入 Protege 4.0.2（不适用于 4.1）。我可以通过 Reasoner → FaCT++、Reasoner → Classify… 开始一个推理器，但我不知道如何可视化各个结果。我该怎么做？

【参考方案1】：

您可以通过两种方式可视化结果。首先，当您选择“类”选项卡时，您会看到有两个视图可供您使用：“类层次结构”视图，即断言分类法和“类层次结构视图（推断）”，即顾名思义，推断的一个。这为您提供了类视图。正如 Kaarel 建议的那样，您可以在“个人”选项卡中可视化个人推理。

Protege 还允许您将许多其他个人视图添加到 UI：创建一个新的空选项卡，然后从“视图”菜单下的“个人视图”子菜单中选择一个视图。最后，您可以使用许多外部图形工具进行可视化：如果您断言推断的层次结构并将其保存到文件中（在 RDF-XML 中），那么您可以使用诸如Welkin、IsaViz 等工具。获取图形表示。

【讨论】：

感谢您的帮助。当我使用 Protege 4.0.2 的全新且未自定义的副本打开“einsteins_riddle.owl”时，“推理器 --> FaCT++”会导致命令行消息“FaCT++ 分类为 236 毫秒”。然后，当我转到“个人”选项卡时，我会在左侧获得个人列表，例如“house-3”，但如果我单击/双击一个人，则右侧窗口中没有更多信息。我必须在右侧打开一种特殊的视图窗口才能看到结果吗？

我已经用更多选项更新了我的答案。一般来说，如果您将本体转换为 OWL2 以便可以在 Protege 4.1 中打开它会更好。

DL 查询选项卡是 Kaarel 的一个好点 - 我忘记了！

【参考方案2】：

推理器完成后，转到Individuals-tab 并查找具有黄色背景的公理。这些公理是蕴涵的。如果谜题的组成部分（即人、宠物、饮料等）已被建模为 OWL 个体，那么您会看到推理器在这些个体之间发现的一些新的对象属性断言。

还有其他选项可以查看蕴涵：

View -> Ontology views -> Classification Results 将显示包含公理的列表。它可能不会显示所有蕴含的公理，例如我已经用 Protege 4.1 进行了尝试，但没有看到任何包含的对象属性断言。 在DL Query tab 中，您可以键入一个类表达式并列出其所有子类和个体（包括包含的那些）。这可能是探索蕴涵的最自然的方式。

另见：

ACE View examples：包含“斑马拼图”示例，适用于 Protege 4.1 *** question: Solving “Who owns the Zebra” programmatically?: 还不包含基于 OWL 的解决方案 :(