如何使用基于其他ObjectProperty断言的1个对象属性然后在OWL中对个体进行推理

Question

类

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 hasReferral C，那么A hasApprove C

如何使用OWL执行此操作？

我已经尝试了

hasReferral
domain: Member
range: hasVote min 1 Guest

但它没有用。

当我将Member作为域名应用于hasVote时，它会变为红色：

当A hasReferral C没有Member代表C时，我想否定hasVote。

这可能吗？