Re: DAML-S ProcessModel

  >     The requester specifies its "desired outcome", e.g., 
  >     "I want to buy a book of J.R.R. Tolkien". 
  >     In the cyberspace it means that "an invoice for a book 
  >     of Tolkien is delivered to the requester". 
  >  
  >  Why not go all the way and say that the formal meaning of the goal is 
  >  (informally!) "I own a book by Tolkien (that I didn't already own)"?
  >  -- 
  >                                               -- Drew McDermott
  >  

What is the meaning of the formula: 

"?person owns  ?book by Tolkien"

Or, when is this formula true?

My answer: If something happens, i.e., if the goal formula is  
translated into a plan, and then the plan is arranged as a workflow, 
and finally the workflow is executed successfully. 


-- Stanislaw Ambroszkiewicz