如何在 Protégé 中使用 OWL 解决爱因斯坦之谜时获得单独的结果？
我想更好地理解本体论和推理。有一个有趣的谜题，名为 爱因斯坦在网络上的谜语可以借助本体论和推理来解决。我从该站点下载了 OWL 本体并将其导入 Protege 4.0.2（不适用于 4.1）。我可以通过 Reasoner → FaCT++、Reasoner → Classify... 启动推理器，但我不知道如何可视化各个结果。我该怎么做？
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?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
推理程序完成后，转到
Individuals-tab并查找具有黄色背景的公理。这些公理是蕴含公理。如果谜题的组成部分（即男人、宠物、饮料等）已被建模为 OWL 个体，那么您将看到推理器在这些个体之间找到的一些新的对象属性断言。还有其他选项可以查看蕴涵：
View ->本体视图->分类结果将显示蕴含公理列表。但它可能不会显示所有蕴含公理，例如我已经用 Protege 4.1 尝试过，但没有看到任何蕴含对象属性断言。DL Query 选项卡中，您可以输入类表达式并列出其所有子类和个体（包括继承的子类和个体）。这可能是探索蕴涵的最自然的方式。另请参阅：
After the reasoner has finished go to the
Individuals-taband look for axioms that have a yellow background. These axioms are the entailed ones. If the components of the puzzle (i.e. the men, pets, drinks, etc.) have been modeled as OWL individuals then you would see some new object property assertions that the reasoner has found between these individuals.There are also other options for seeing the entailments:
View -> Ontology views -> Classification Resultswill show the list of entailed axioms. It might not show all the entailed axioms though, e.g. I've tried it with Protege 4.1 and didn't see any entailed object property assertions.DL Query tabyou can type in a class expression and have all its subclasses and individuals (including the entailed ones) listed. This might be the most natural way of exploring the entailments.See also:
您可以通过两种方式可视化结果。首先，当您选择“类”选项卡时，您将看到有两个可用视图：“类层次结构”视图，即断言的分类法和“类层次结构视图（推断）”，即顾名思义，推断的。这给了你班级观点。正如 Kaarel 所建议的，您可以在“个人”选项卡中可视化个人推理。
Protege 还允许您向 UI 添加许多其他个人视图：创建一个新的空选项卡，然后从“视图”菜单下的“个人视图”子菜单中选择一个视图。最后，您可以使用许多外部图形工具来可视化：如果您断言推断的层次结构并将其保存到文件（在 RDF-XML 中），则可以使用诸如 Welkin, IsaViz 等以获得图形表示。
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 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.