easy question about Rules proposal

From: David Martin ([email protected])
Date: 11/11/03

  • Next message: Peter F. Patel-Schneider: "Re: easy question about Rules proposal"
    Folks (esp. Ian and Peter) -
    
    I have a question about the Ian/Peter Rules Language proposal, which is 
    minor but important in the sense that I want to get some examples right 
    in something I'm writing.
    
    Why in the following example (and I think all the examples in
       http://www.cs.man.ac.uk/~horrocks/DAML/Rules/)
    is "owlx:name" used, both at point of definition and point of reference, 
    instead of using rdf:ID and rdf:resource?
    
    <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>
    
    Thanks,
    David
    


    This archive was generated by hypermail 2.1.4 : 11/11/03 EST