Protege 5 では、個人に対して 2 つの異なる方法でアサーションを行うことができます。
individual1 type property1 value individual2
individual1 property1 individual2
それらの違いは何なのかわかりません。
さらに、カーディナリティに関して個人に制限を加える方法はありますか? Open World Assumption に基づいて、個人 1 は他の関係を持つ可能性があると解釈されます。私は、個人 1 に 1 種類のプロパティのみを持たせたいと考えています。プロパティ1。