Protege，reasoner没有发现个体的不一致

Question

明天我要委托一个用protege制作的本体论的关系，但我想我做错了。我想做一个与PC列表相关的本体。每台PC都有CPU、GPU和主板。中央处理器必须兼容某些主板(isCompatibleWith某些主板)，PC必须包含恰好一个中央处理器，一个主板和至少一个图形处理器。

现在，我像这样组织课程：

ontology

我插入了各种硬件组件，并制作了一台只包含一个CPU (i5-2500k)的PC。但是推理机没有显示任何错误，不应该告诉我PC必须有mobo和GPU吗？我把这一切都搞错了吗？

Answer 1

开放世界假设允许推理机接受您所描述的情况-它推断主板存在，但它不知道是哪一个。

为了找出只有一个CPU的个人是否是有效的计算机，您应该设计本体，以便给定一个人，只有当它符合所有要求时，它才被归类为计算机。

例如，Computer equivalentClass min 1 hasMotherboard和min 1 hasCPU。现在，如果一个人不知道是一台计算机，但有一个主板和一个中央处理器，推理机会将其归类；没有主板的个人将被排除在外；但是，您需要明确指定-因为在声明这些个人是最大0 hasMotherboard的实例。