W3C home > Mailing lists > Public > public-sws-ig@w3.org > November 2003

Re: Attempt to use Owl rule language to express preconditions in Congo

From: Monika Solanki <monika@dmu.ac.uk>
Date: Tue, 11 Nov 2003 19:09:51 +0000
Message-ID: <3FB133FF.4070003@dmu.ac.uk>
To: Drew McDermott <drew.mcdermott@yale.edu>
Cc: public-sws-ig@frink.w3.org

Hi Drew,

Would <drs:And> be the top-level element?

I guess this says that the atoms are to be treated in conjunction, do we 
have something on top of all this that classifies it as a formula?

Thanks,

Monika


Drew McDermott wrote:

>   [David Martin]
>   Would it perhaps make sense, then, to define Formula in the drs 
>   namespace (or use whatever term drs already uses for formulas), rather 
>   than putting this new thing in the process namespace?
>
>Yes, it would.  We'd get:
>
>       <drs:And>
>           <drs:conn_args rdf:parseType="Collection">
>               <owl:individualPropertyAtom>
>                       <owl:propertyPredicate 
>                                  rdf:resource="&congoUserProfile;accountExists/>
>                       <owl:argument1 rdf:about="#AcctID" />
>                       <owl:argument2 rdf:about="#Password" />
>               </owl:individualPropertyAtom>   
>               <owl:individualPropertyAtom>
>                       <owl:propertyPredicate 
>                                   rdf:resource="&congoUserProfile;creditExists/>
>                       <owl:argument1 rdf:about="#AcctID" />
>                       <owl:argument2 rdf:about="#CreditCardNumber" />
>               </owl:individualPropertyAtom>   
>           </drs:conn_args>
>       </drs:And>
>
>                                             -- 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 Tuesday, 11 November 2003 14:04:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 16 March 2008 00:10:53 GMT