こんにちは、「Person」という名前のクラスのデータ プロパティ「SSN」を定義する必要があるオントロジーを設計しています。さて、私が考えている制限の 1 つは、独自性に関するものです。つまり、クラス「Person」の 2 つのインスタンスが同じ SSN を持つべきではありません。私の質問: Protege でそのような制限を定義するにはどうすればよいですか?
http://www.co-ode.org/resources/reference/manchester_syntax/
いくつかの制限を定義していますが、私の場合は何も当てはまらないと思います。
SSN プロパティをinverse-functionalとして定義するだけです。逆機能特性とは、特定の範囲値がどこに表示されていても、サブジェクト リソースが同じでなければならないことを意味します。したがって、 ifpは逆関数であり、次のようになります。
R0 p N .
R1 p N .
次に、それを推測でき、同じ個人を示す必要がありますR0。R1他のいくつかの公理を通じてR0とR1が実際には異なることがわかっている場合、推論者はモデルが矛盾していると報告します。これは、オープン ワールドのナレッジ ベースで必要な整合性チェックに可能な限り近いものです。