私のオントロジーには、 first name のようないくつかのプロパティを持つ Worker のクラスがあります。First name は機能プロパティですが、すべてのワーカー個人に存在することを確認したいと思います。
for Worker に part と同等の制限を追加し、
First_Name some stringテストのために part のサブクラスに別の制限を追加しましたFirst_Name exactly 1 string
名なしで新しい個人を追加すると、推論者（HermiT）からエラーが発生しません。
エラーは何ですか、または何か誤解していますか?