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

   [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