OWLの実在の制限と必要な条件

Question

私はprotege05を使用してオントロジーを作成していますが、プロパティの制限に関して質問があります。私がprotegeチュートリアルから理解したことは、制約を使ってクラスにプロパティを割り当てると、このプロパティがそのクラスを定義するために必要であるということです。

例えば、私は「正教会」と「サンクチュアリ」とプロパティのクラスを持っている「hasPartと私は言いたい 『正教会hasPartサンクチュアリ』とします。

を、私はそれが意志明らかに実存制限を使用している場合建物が正教会であるために必要なものであることを意味するか、建物が正教会である場合は常に聖域を持たなければならない（しかし、必ずしも正しいとは限りません）。
私の質問は、私のクラスを定義するために必要でないプロパティ、つまり、このプロパティが何か私のクラスに対して正しいが、常にではないとはどういうことが言えますか？

ありがとう

Answer 1

正教会をあなたの財産のドメインとして使用したいので、使用すると、建物は教会であると推測します。聖域なしで教会を創造することを止めることはありません。

ドメインを変更せずに、「正統派教会」のサブクラスとして「some hasPart Sanctuary」というクラスを作成することができますが、これは必要条件ではありません。