如何在Protégé中用OWL解决爱因斯坦的谜语时获得个人结果? [英] How to get individual results while solving Einstein's riddle with OWL in Protégé?

问题描述

我想更好地理解本体和推理.有一个有趣的难题，叫做爱因斯坦在网上的谜语可以借助本体论和推理来解决.我从该站点下载了OWL本体并将其导入Protege 4.0.2(不适用于4.1).我可以通过 Reasoner→启动推理机. FaCT ++ ，原因→分类…，但我不知道如何可视化各个结果.我该怎么办?

I would like to better understand ontologies and reasoning. There is an interesting puzzle called Einstein's riddle on the net that can be solved with the help of ontologies and reasoning. I downloaded the OWL ontology from that site and imported it into Protege 4.0.2 (does not work with 4.1). I can start a reasoner by Reasoner → FaCT++, Reasoner → Classify…, but i don't know, how to visualize the individual results. How can I do this?

推荐答案

可以使用两种方法来可视化结果.首先，当您选择类"选项卡时，您将看到有两个可用视图:类层次结构"视图，即已断言的分类法；以及类层次结构视图(推断)"，即顾名思义，是推论得出的.这样就可以得到类的视图.正如Kaarel所建议的，您可以在个人"选项卡中可视化个人推理.

There are two ways in which you can visualise the results. Firstly, when you select the "Classes" Tab, you will see that there are two views available to you: the "Class hierarchy" view, which is the asserted taxonomy and the "Class Hierarchy View (inferred)", which is, as the name suggests, the inferred one. That gives you the class views. As Kaarel suggests, you can visualise the individuals reasoning in the Individuals tab.

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

Protege also allows you to add a number of other individuals views to the UI: make a new empty tab and then choose a view from the "Individuals View" sub-menue under the "Views" menue. Finally, you can use a number of external graphical tools to visualise: if you assert the inferred hierarchy and save it out to a file (in RDF-XML), you can then use tools such as Welkin, IsaViz etc. to get graphical representations.

这篇关于如何在Protégé中用OWL解决爱因斯坦的谜语时获得个人结果?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！