W3C home > Mailing lists > Public > www-ws@w3.org > November 2003

Re: Refinement :ORL for Congo

From: Monika Solanki <monika@dmu.ac.uk>
Date: Fri, 07 Nov 2003 17:15:10 +0000
Message-ID: <3FABD31E.6020803@dmu.ac.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 3 July 2007 12:25:44 GMT