Protege，推理者没有发现个体的不一致

Question

明天我要将一个与本体论有关的关系委托给我，但我认为我做错了。我想制作一个与PC列表相关的本体。每台PC都有CPU，GPU和主板。 CPU必须与某些主板兼容（isCompatibleWith some Motherboard），PC必须包含一个CPU，一个主板和至少一个GPU。
现在，我组织了这样的课程：
ontology
我插入了各种硬件组件，并制作了一台只包含一个CPU（i5-2500k）的PC。然而，推理器没有显示任何错误，不应该告诉我PC必须有主板和GPU？ 我做错了吗？

Answer 1

Open World Assumption允许推理者接受你描述的情况 - 它推断出主板存在，但它不知道哪一个。

为了确定只有一个CPU的个人是否是有效的计算机，您应该设计本体，以便在给定个人的情况下，只有符合所有要求才将其归类为计算机。

例如，Computer equivalentClass min 1具有母板，min 1具有CPU。现在，如果一个人不知道是计算机，但有一个主板和一个CPU，推理者会将其分类;没有主板的人将被排除在外;但是，您需要明确指定 - 因为声明这些个体是max 0 hasMotherboard的实例。