データプロパティの制限を個別の値にする方法

私はクラスSensorと各センサーhasIDデータプロパティを持っています。各センサーには、別のセンサーを取ることができない別のID#があります。言い換えれば、2つのセンサーは同じID#を持つことはできません。これをどのように表現できますか？データプロパティの制限を個別の値にする方法

出典

2016-10-22 Ali

センサURIを固有の識別子として使用する代わりに、ID番号をデータプロパティのオブジェクトとして使用する必要があるのはなぜですか？ –

私のモデルのID＃に基づいて各センサーを追跡する必要があるので – Ali

hasIDをプロパティとして指定するSensorにHasKey axiomを作成できます。 HasKeyはOWL 2仕様で記述されています。

出典

2016-10-22 11:40:26 Ignazio

Protege 'hasID some SubClassOf Sensor'でこれを行ったのですが、2つのセンサーが同じIDを持つことができるので正しくないようですどんな考え？ – Ali

キーを強制するには、推論器が必要です。あなたはどの推論家ですか？ – Ignazio

私はProtege 4.3でFaCT ++を使用しました – Ali

データプロパティの制限を個別の値にする方法

答えて

関連する問題