代码之家 › 专栏 › 技术社区 › rmv Luiggi Mendoza

如何在Prot_g_中用owl解爱因斯坦的谜语时得到个别的结果?

zebra-puzzle reasoning protege owl

1

rmv Luiggi Mendoza · 技术社区 · 15 年前

我想更好地理解本体论和推理。有一个有趣的谜题叫做 Einstein's riddle 在网络上可以借助本体论和推理来解决。我从那个站点下载了owl本体,并将其导入到protege 4.0.2(不适用于4.1)。我可以通过 推理者→事实++ , 推理机→分类 但我不知道,如何将个体结果可视化。我该怎么做?

2 回复 | 直到 12 年前

1

4

Nico Adams 15 年前

有两种方法可以使结果可视化。首先,当您选择“类”选项卡时,您将看到有两个视图可供您使用:“类层次结构”视图(断言的分类法)和“类层次结构视图(推断的)”(顾名思义,推断的分类法)。这就提供了类视图。正如Kaarel所建议的,您可以在“个人”选项卡中可视化个人推理。

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

2

Community Mohan Dere 9 年前

推理结束后,转到 Individuals-tab 寻找黄色背景的公理。这些公理是必然的。如果谜题的组成部分(即人、宠物、饮料等)被模拟为猫头鹰个体,那么您将看到推理者在这些个体之间发现的一些新的对象属性断言。

此外,还有其他选择来查看继承权:

View -> Ontology views -> Classification Results 将显示包含公理的列表。但是,它可能不会显示所有包含的公理,例如,我用protege 4.1尝试过,没有看到任何包含的对象属性断言。
在 DL Query tab 您可以键入一个类表达式,并列出它的所有子类和个人(包括继承的子类)。这可能是探索继承关系的最自然的方式。

另请参见:

ACE View examples :包含“斑马拼图”示例,适用于Protege 4.1
Stackoverflow question: Solving âWho owns the Zebraâ programmatically? :尚未包含基于owl的解决方案:.(