rdf - 如何根据其他 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

或者

If B hasVote C Then A hasReferral C, So A hasApprove C

如何用 OWL 做到这一点？

我试过了

hasReferral
domain: Member
range: hasVote min 1 Guest

但它不起作用。

当我Member作为域申请时hasVote，它变成红色：

我想在没有C的A hasReferral C时候否定。MemberhasVote

这可能吗 ？

标签： rdfowlprotegerdfsswrl