<owlx:Rule>
<owlx:antecedent>
<owlx:individualPropertyAtom owlx:property="hasParent">
<owlx:Variable owlx:name="x1" />
<owlx:Variable owlx:name="x2" />
</owlx:individualPropertyAtom>
<owlx:individualPropertyAtom owlx:property="hasBrother">
<owlx:Variable owlx:name="x2" />
<owlx:Variable owlx:name="x3" />
</owlx:individualPropertyAtom>
</owlx:antecedent>
<owlx:consequent>
<owlx:individualPropertyAtom owlx:property="hasUncle">
<owlx:Variable owlx:name="x1" />
<owlx:Variable owlx:name="x3" />
</owlx:individualPropertyAtom>
</owlx:consequent>
</owlx:Rule>