Example 3 using extended OWL XML Syntax


<owlx:Rule> 
  <owlx:antecedent> 
    <owlx:classAtom> 
      <owlx:class="&ulan;Artist" />
      <owlx:Variable owlx:name="_x" />
    </owlx:classAtom> 
    <owlx:classAtom> 
      <owlx:class="&aat;Style" />
      <owlx:Variable owlx:name="_y" />
    </owlx:classAtom> 
    <owlx:individualPropertyAtom  owlx:property="&aatulan;artistStyle"> 
      <owlx:Variable owlx:name="_x" />
      <owlx:Variable owlx:name="_y" />
    </owlx:individualPropertyAtom> 
    <owlx:individualPropertyAtom  owlx:property="&vra;creator"> 
      <owlx:Variable owlx:name="_x" />
      <owlx:Variable owlx:name="_z" />
    </owlx:individualPropertyAtom> 
  </owlx:antecedent> 
  <owlx:consequent> 
    <owlx:individualPropertyAtom  owlx:property="&vra;style/period"> 
      <owlx:Variable owlx:name="_z" />
      <owlx:Variable owlx:name="_y" />
    </owlx:individualPropertyAtom> 
  </owlx:consequent> 
</owlx:Rule>