owl - 使用 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 语法有点不同，但两者足够接近，您可能不会遇到任何问题。）

一旦你下载了披萨本体，你就可以在 Protégé 中打开它。使用Reasoner菜单，选择Pellet推理机。然后，再次在Reasoner菜单下，选择Start Reasoner。现在 Pellet 已经对本体进行了推理，并准备回答一些问题。转到DL Query选项卡，您现在可以输入查询。CO-ODE曼彻斯特语法页面上的示例将帮助您入门，如果您需要，还有一份关于曼彻斯特语法的 W3C 工作组说明，其中包含所有详细信息。与 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一些菠菜配料。