Rdf 如何基于其他ObjectProperty使用1个对象属性'；然后对OWL中的个人进行推理

班级

对象属性

Member
Guest

个人

hasReferral (step 1)
hasVote (step 2)
hasApprove (step 3)

或

如果B投C票，那么A投C票，那么A投C票

如何处理猫头鹰

我试过了

A is a Member
B is a Member
C is a Guest



A hasReferral C
B hasVote C
so infer A hasApprove C

但它不起作用

当我将

Member

作为域应用于

hasVote

时，它会变为红色：

当

成员
没有
hasVote
投票给C时，我想否定
A hasvoter C

这可能吗？
让我们从以下内容开始：为什么您认为
hasReferral域：Member
和
hasReferral range:hasVote min 1 Guest
意味着
A hasApprove C
？接下来，您说“当我将Member作为域应用于hasVote时，它会变为红色”-这表示该属性不令人满意，这意味着你在这里省略了一些信息，比如，一些类之间的不相交性…好吧，那么范围就不是这样了，对吗？我可以用OWL进行这样的推断吗？重要的是你要理解属性的域和范围是什么意思。你这样做吗？
hasReferral
domain: Member
range: hasVote min 1 Guest