Protege의 제한 및 추론

Question

내 온톨로지에는 이름과 같은 속성을 가진 Worker 클래스가 있습니다. 이름은 기능적 속성이지만 모든 직원 개인에 이름이 있는지 확인하고자합니다.

나는 부분 First_Name some string에 동등에 작업자 용에 제한을 첨가하고, I는 이름없이 새로운 개인을 추가 할 때 단지 테스트 I '는 I가 걸치는 부분 First_Name exactly 1 string

하위 클래스에서 다른 추가 추론 자 (HermiT)로부터 오류를 얻지 마십시오.

어떤 오류가 있습니까? 아니면 오해입니까?

Answer 1

오픈 월드 추론의 기쁨입니다.

일부 has_name 이름

모든 사람에게 이름이 있음을 의미합니다. 그 이름이 무엇인지 알아야한다는 것을 의미하지는 않습니다. 따라서, 당신이 사람을 단언하고 그들에게 이름을주지 않으면, 이성은 사람은 불평하지 않을 것입니다.

일부 has_name는 (이름 없음)

사람, 예를 들어

말을하면 오류가 발생합니다.