通过owl max限制保护意外行为

Question

我正在Protégé建模甜点中创建本体。 有两个主要的基本类，甜点和成分，以及一个hasIngredient属性来连接它们。 一个甜点的例子如下：

NeapolitanIceCream subclass of Dessert
    hasIngredient exactly 1 IceCream
    hasIngredient exactly 1 wafers
    hasIngredient only (IceCream or Wafers)

我有2个原始类SimpleDessert和ComplexDessert

SimpleDessert subclass of Dessert and (hasIngredient max 3 Ingredient)

ComplexDessert subclass of Dessert and (hasIngredient min 5 Ingredient)

当我运行推理程序时，SimpleDessert（min）的性能符合预期，但是ComplexDessert（max）没有子类。 我对开放世界原则的理解认为，恰好1子句和only子句清楚地表明只有这两种可能的成分，数量也很明确。 我可能缺少明显的东西，但希望在此提供任何帮助。

Answer 1

该公理可能并不意味着您想要的意思：

甜点和（具有最多3种成分的成分）的SimpleDessert子类

这表示“如果 某物是一个SimpleDessert， 那么它是一个甜点，并且最多具有三个成分。 不是说”如果 某物是一个Dessert，并且它最多具有三个成分， 那么它就是一个SimpleDessert。”

我想说后者，那么您就需要另一个方向的子类公理：

甜品_⊓≤3 hasIngredent.Ingredient⊑SimpleDessert

在Protege中，您可以使用General Axioms选项卡进行此操作。 （有关示例和屏幕截图，请参见我对owl protege的 回答 ， 如何描述一个仅具有某些属性的类？ ）