$Id: CongoProcess.owl,v 1.1 2004/05/11 00:58:24 martin Exp $
A B2C bookbuying example of OWL-S (Web Ontology Language for Services; see http://www.daml.org/services/) usage, illustrating a simple use of the process model. There are several otherowl files that instantiate the other areas of OWL-S (profile, grounding, and service declarations, as well as the process dataflow) for this same example. NOTE: This is a sketch; not a complete example. It is designed to illustrate the usage of the process model ontology. The service described here is a book buying (or selling, depending on your perspective) service from www.congo.com. We present two forms of the service. First, there's a one-step form, CongoBuy, with the service treated as ATOMIC; i.e., no interactions between buying and selling agents are required, apart from invocation of the service and receipt of its outputs by the buyer. Given certain inputs and preconditions, the service provides certain outputs and has specific effects. Second, a full-fledged version of the service is specified, showing its composition from its component services. The full-fledged version of the service, FullCongoBuy, includes an arrangement of subprocesses LocateBook, PutInCart, SignIn, CreateAcct, CreateProfile, LoadProfile, SpecifyDeliveryDetails, FinalizeBuy each with its own specification of inputs and outputs. Note: Input, output, precondition, and effect properties of *composite* processes can, in principle, be automatically generated by tools. Since such tools don't yet exist, they have been manually generated for this example. Original Congo example created by Srini Narayanan (srini@ai.sri.com). Major modifications by Mark Burstein, David Martin, Sheila McIlraith, Srini Narayanan, Terri Payne, Massimo Paolucci. Note: Starting with version 1.0, OWL-S views processes as instances of the Process class rather than as subclasses of it.