用Pellet查询披萨本体

Question

如何使用Pellet reasoner？

执行这些查询

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

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

Answer 1

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

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

您的查询可以用这两个曼彻斯特类表达式来表达：

1. hasCountryOfOrigin value America
2. hasTopping some SpinachTopping

在Protégé，结果如下：



虽然选中了 Individuals 复选框，但披萨本体并未定义任何将美国作为其原籍国的个人。但是，有两个类是hasCountryOfOrigin value America的子类，毫不奇怪，这些类是American和AmericanHot。



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