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

Question

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

Answer 1

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

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

Answer 2

推理器完成后，转到Individuals-tab寻找黄色背景的公理。这些公理是必然的。如果拼图的组成部分（即男人，宠物，饮料等）已被建模为OWL个体，那么你会看到推理者在这些个体之间找到的一些新的对象属性断言。

还有其他选择可以看到蕴涵：

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

另见：

• ACE View examples：包含“Zebra Puzzle”示例，适用于Protege 4.1
• Stackoverflow question: Solving “Who owns the Zebra” programmatically?：尚未包含基于OWL的解决方案：（