如何使用已定义类的最小属性限制来推断Protégé中的实例？

Question

我需要一些解释才能获得任命。

我正在为餐馆建模本体。与此问题相关的课程为dishes和Restaurant。

班级dishes包含他们所服务的菜肴的子类。例如class(dishes) has subclass(italian)。对于子类italian，我添加了spaghetti等实例。

班级餐厅主要包含具有必要和足够限制的子类，以根据他们所服务的菜肴来描述餐馆的类型。但在餐馆可以分类之前，我已经有了名为餐馆的创建实例。以示例实例（pizzaFreddi）为例，该实例通过属性hasDish链接到实例披萨。因为实例Pizza属于意大利语，所以对其中一个已定义的子类（使用ItalianDishes）的限制推断出这个实例。这个有效，我使用了一些限制。但我想要做的还是创建一个定义的子类，它推断出具有多个位置的实例（namedRestaurants）。例如，实例PizzaFreddi与属性isLocatedIn链接到城市Amsterdam和Den Haag。我做了一个限制，说：isLocatedIn min 2 City。但这似乎并不能推断出实例PizzaFreddi。出了什么问题？

我添加了截图供您解释。

http://i.stack.imgur.com/8sYNV.png http://i.stack.imgur.com/z8rT6.png

Answer 1

你有Equivalent Restaurant and min 2 hasLocation，因为你已经将餐厅作为超类，所以它应该足够SubClassOf min 2 hasLocation。此外，Equivalent有时会产生非直观的后果 - 我不知道在这种情况下，如果没有本体论，这是一个问题。

此外，请检查推断的层次结构，并确保您使用的是推理器。如果您在推理器启动后进行了更改，请确保刷新推理器，以便看到连续的更改。