使用 Pellet 查询披萨本体

Question

如何使用Pellet reasoner 执行这些查询？

1. 从美国获取所有比萨饼（通过 hasCountryOfOrigin 属性）。
2. 获取所有带有菠菜配料的比萨饼（通过hasTopping 属性）。

我找不到有关此主题的任何示例或信息。

Answer 1

运行此类查询的最简单方法是通过Protégé-OWL 本体编辑器。 Pellet 可用作 Protégé 的推理器插件，您可以使用 Manchester OWL 语法在 Protégé 中编写 DL（描述逻辑）查询。 （实际上，Protégé 接受的语法与 Manchester OWL 语法略有不同，但两者足够接近，您可能不会遇到任何问题。）

下载 pizza ontology 后，您可以在 Protégé 中打开它。使用 Reasoner 菜单，选择 Pellet 推理器。然后，再次在 Reasoner 菜单下，选择 Start Reasoner。现在 Pellet 已经对本体进行了推理，并准备回答一些问题。转到 DL 查询 选项卡，您现在可以输入查询。 CO-ODE Manchester syntax page 上的示例将帮助您入门，如果您需要，W3C working group note on the Manchester Syntax 包含所有详细信息。与 Protégé 更直接相关的是 Protégé wiki 上的 DL Query Tab 文章。

您的查询可以通过以下两个曼彻斯特类表达式来表达：

1. hasCountryOfOrigin value America
2. hasTopping some SpinachTopping

在 Protégé 中，结果如下所示：

虽然个人复选框被选中，但披萨本体并未定义任何以美国为原籍国的个人。但是，有两个类是hasCountryOfOrigin value America 的子类，不出所料，它们是类American 和AmericanHot。

同样，披萨本体中没有定义有菠菜配料的个体，但Florentina 类是hasTopping some SpinachTopping 的子类，这意味着Florentina 的每个instance有一些菠菜配料。