Protege、reasonerは個体の矛盾を見つけません

Question

明日私はプロテジェで作られたオントロジーとの関係を委託しなければなりませんが、私はすべて間違ったと思います。私は、PCリストに関連するオントロジを作りたがっていました。各PCにはCPU、GPU、マザーボードが搭載されています。 CPUはいくつかのマザーボード（isCompatibleいくつかのマザーボード）と互換性がなければならず、PCには正確に1つのCPU、1つのマザーボード、1つ以上のGPUが必要です。私はさまざまなHW部品を挿入し、1つのCPUのみ（i5-2500k）が含まれているPCを作っ
ontology
：
は今、私はこのようなクラスを組織しました。しかし、reasonerはエラーを表示していないので、PCにmoboとGPUが必要であると私に言ってはいけませんか？ 私はこれをすべて間違っていましたか？

Answer 1

Open World Assumptionは、推論者が説明したように状況を受け入れることを可能にします。マザーボードが存在すると推測しますが、どちらが良いかはわかりません。

CPUが1つしかない個人が有効なコンピュータであるかどうかを確認するには、個人があれば、すべての要件に一致する場合のみコンピュータとして分類されるようにオントロジーを設計する必要があります。

たとえば、コンピュータequivalentClass min 1 hasMotherboardおよびmin 1 hasCPUです。今、個人がコンピュータであることは知られていないがマザーボードとCPUを持っている場合、推論者はそれをそのように分類します。マザーボードを持たない個人は除外されます。ただし、明示的に指定する必要があります。つまり、これらの個体が最大0のhasMotherboardのインスタンスであるとします。