Re: the precondition property in OWL-S 1.0

• From: Drew McDermott <drew.mcdermott@yale.edu>
• Date: Sat, 8 Nov 2003 22:24:48 -0500 (EST)
• To: public-sws-ig@w3.org
• Message-Id: <200311090324.hA93OmL07748@pantheon-po02.its.yale.edu>

   [Mike Huhns]
   OK, this is my last attempt to try to understand this.  If I have a
   logical formula that evaluates to true or false (a Condition), such as
   one I will call ValidCreditCard, and if a Web service somewhere decides
   to use this Condition as the value of its preCondition property, then
   ValidCreditCard becomes an instance of the Precondition class.  If that
   Web service disappears, then ValidCreditCard reverts back to the
   Condition class.

   So, using a formula changes it, and when you stop using it, it changes
   back.  Or am I still misunderstanding the idea?

No, you're completely on track.  In fact, I was under the impression
that we (the OWL-S people) were doing away with the Precondition
class.  All we need is the hasPrecondition property that relates a
step to a Condition.

-- 
                                   -- Drew McDermott
                                      Yale Computer Science Department

Received on Saturday, 8 November 2003 22:24:52 UTC