owl - 使用逆属性推理 OWL 本体？

Question

我正在使用 Protege v4.3 制作本体。
我有一个关于 OWL 本体和 DL 查询的问题。

例如，在 Pizza 本体中，
http://owl.cs.manchester.ac.uk/co-ode-files/ontologies/pizza.owl

我可以执行 DL 查询
hasTopping some CheeseTopping
结果是
American、AmericanHot、Cajun 等。没关系。

现在，我尝试了 DL 查询
isToppingOf some American
但结果什么都不是。

因为属性 isToppingOf 是 hasTopping 的逆属性，
我希望从该查询(通过推理)获得包括 FourCheesesTopping、CheeseyVegetableTopping 等在内的结果。但它没有。

有没有办法像这样自动推理？

Answer 1

类表达式

hasTopping some CheeseTopping

是一组个体，每个个体都通过 hasTopping 属性与某个 CheeseTopping 相关。在没有个体的 Pizza 本体中，您仍然可以获得此查询的类子类结果，因为某些类型的 Pizza(例如，American)的定义是这样的，任何美国的 Pizza 都必须具有这样的浇头。

现在，类似结构的查询

isToppingOf some American

是一组个体，每个个体都通过 isToppingOf 属性与一些美国披萨相关。但是，Pizza 本体没有定义特定的个体，因此没有任何个体作为候选者。但是那些可能是这个表达式的子类的类呢？例如，您提到了 FourCheeseTopping。现在，FourCheeseTopping 的某个特定实例，例如，fourCheeseTopping23 可以是一些美式比萨的浇头，例如:

fourCheeseTopping23 isToppingOf americanPizza72

但是，fourCheeseTopping 可能尚未放置在任何特定的比萨饼上。当我们选择一个 FourCheeseTopping 类型的任意个体时，我们不能推断它是一些美国比萨的浇头，所以我们不能推断类 FourCheeseTopping 是

isToppingOf some American

因为并不是每一个 FourCheeseTopping 实例都必须是一些美国比萨的浇头。对于可能使逻辑结构更清晰一些的类似情况，请考虑类 Employer 和 Person，以及对象属性雇用及其逆向雇用。我们可能会说每个雇主都必须有一个人作为雇员(否则他们就不会成为雇主):

Employer ⊑ employs some Person

但是，由于一个人可能失业，因此

Person ⊑ employedBy some Employer

即使雇员和雇员是倒数。

但是，如果您想知道特定类型的浇头是否可以放在特定类型的比萨饼中，您可以做的是询问是否

PizzaType ⊓ ∃hasTopping.ToppingType

相当于 owl:Nothing 或它的子类。例如，由于美国比萨饼只有 TomatoTopping、MozzarellaTopping 和 PeperoniTopping [原文如此] 类型的浇头，类

American ⊓ ∃hasTopping.MixedSeafoodTopping

相当于 owl:Nothing:



另一方面，由于美式披萨必须有 Mozzarella Topping，因此类

American ⊓ ∃hasTopping.MozzarellaTopping

相当于美国: