1
4

2 回答 2

4

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

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

于 2010-11-15T11:12:32.950 回答
2

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

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

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

也可以看看：

于 2010-11-13T11:19:25.577 回答