- From: Monika Solanki <monika@dmu.ac.uk>
- Date: Fri, 07 Nov 2003 17:15:10 +0000
- To: Drew McDermott <drew.mcdermott@yale.edu>, www-ws <www-ws@w3c.org>
Drew McDermott wrote: > This is a refinement ( I think) where I have removed the > sameIndividualAtom construct and defined classAtom for each variable > > Input Classes, > > <process:Input rdf:ID="AcctID"/> > <process:Input rdf:ID="Password"/> > <process:Input rdf:ID="CreditCardNumber"/> > <process:Input rdf:ID="ISBNNumber"/> > > In ORL, we have to define "Variable" to be used in Rules. > > <owl:Variable rdf:ID="AcctID"/> > <owl:Variable rdf:ID="Password"/> > <owl:Variable rdf:ID="CreditCardNumber"/> > <owl:Variable rdf:ID="ISBNNumber"/> > Now, we can define the rule as, > > <!-- here the namespace congoUserProfile, holds the definition of > classes and properties pertaining to a user of Congo --> > <owl:Rule> > ... > <owl:consequent rdf:parseType="Collection"> > <owl:individualPropertyAtom> > <owl:propertyPredicate > rdf:resource="&congoUserProfile;allowedToBuy/> > <owl:argument1 rdf:about="#AcctID" /> > <owl:argument2 rdf:about="#ISBNNumber" /> > </owl:individualPropertyAtom> > <owl:Rule> > > Feedback Appreeciated. > >You forgot to close the <owl:consequent ...> with an </owl:consequent> > :-) ..yeah your are right....I did realise it later on..but then the mail was already out... :-) > > -- Drew > > > -- **>><<**>><<**>><<**>><<**>><<**>><<**>><<** Monika Solanki Software Technology Research Laboratory(STRL) De Montfort University Hawthorn building, H00.18 The Gateway Leicester LE1 9BH, UK phone: +44 (0)116 250 6170 intern: 6170 email: monika@dmu.ac.uk web: http://www.cse.dmu.ac.uk/~monika **>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Received on Friday, 7 November 2003 12:21:08 UTC