Классы
Member
Guest
Свойства объекта
hasReferral (step 1)
hasVote (step 2)
hasApprove (step 3)
Физические лица
A is a Member
B is a Member
C is a Guest
A hasReferral C
B hasVote C
so infer A hasApprove C
или
Если B имеет голосование C, тогда A имеет реферраль C,Итак, у hasApprove C
Как это сделать с OWL?
Я пробовал
hasReferral
domain: Member
range: hasVote min 1 Guest
Но это не работает.
Когдая применяю Member в качестве домена для hasVote, он становится красным:
Я хочу отрицательный A hasReferral C, когда Member имеетне hasVote для C.
Возможно ли это?