Re: Attempt to use Owl rule language to express preconditions in Congo from Drew McDermott on 2003-11-11 (public-sws-ig@w3.org from November 2003)

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

   [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 UTC