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: Drew McDermott <drew.mcdermott@yale.edu>
Date: Tue, 11 Nov 2003 13:47:43 -0500 (EST)
Message-Id: <200311111847.hABIlhw06618@pantheon-po01.its.yale.edu>
To: public-sws-ig@frink.w3.org


   [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


-- 
                                   -- Drew McDermott
                                      Yale Computer Science Department
Received on Tuesday, 11 November 2003 13:47:45 GMT

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