CongoProcess.owl
type: Ontology
version info: $Id: CongoProcess.owl,v 1.37 2003/09/19 05:06:47 martin Exp $
comment: A B2C bookbuying example of DAML-S (DARPA Agent Markup Language for Services; see http://www.daml.org/services/) usage, illustrating a simple use of the process model. 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.
imports: owl
imports: Time.owl
imports: Service.owl
imports: Process.owl
imports: CongoProcessDataFlow.owl

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#40
type: Restriction
cardinality: 1
on property: fullCongoBuyBookName

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#41
type: Restriction
cardinality: 1
on property: fullCongoBuyBookISBN

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#42
type: Restriction
cardinality: 1
on property: fullCongoBuyCreditCardNumber

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#43
type: Restriction
cardinality: 1
on property: fullCongoBuyCreditCardType

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#44
type: Restriction
cardinality: 1
on property: fullCongoBuyCreditCardExpirationDate

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#45
type: Restriction
cardinality: 1
on property: fullCongoBuyDeliveryAddress

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#46
type: Restriction
cardinality: 1
on property: fullCongoBuyPackagingSelection

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#47
type: Restriction
cardinality: 1
on property: fullCongoBuyDeliveryTypeSelection

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#62
type: Restriction
cardinality: 1
on property: congoBuyBookBookISBN

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#63
type: Restriction
cardinality: 1
on property: congoBuyBookCreditCardNumber

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#64
type: Restriction
cardinality: 1
on property: congoBuyBookCreditCardType

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#65
type: Restriction
cardinality: 1
on property: congoBuyBookCreditCardExpirationDate

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#66
type: Restriction
cardinality: 1
on property: congoBuyBookDeliveryAddress

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#67
type: Restriction
cardinality: 1
on property: congoBuyBookPackagingSelection

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#68
type: Restriction
cardinality: 1
on property: congoBuyBookDeliveryTypeSelection

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#80
type: Restriction
cardinality: 1
on property: buySequenceBookISBN

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#81
type: Restriction
cardinality: 1
on property: buySequenceCreditCardNumber

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#82
type: Restriction
cardinality: 1
on property: buySequenceCreditCardType

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#83
type: Restriction
cardinality: 1
on property: buySequenceCreditCardExpirationDate

buySequenceCreditCardNumber
type: Property
comment: NOTE: INTEGER IS NOT SUPPORTED YET IN DAML+OIL
sub property of: input
domain: BuySequence
range: decimal

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#104
type: Restriction
cardinality: 1
on property: signInSequenceSignInInfo

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#114
type: Restriction
cardinality: 1
on property: createAcctSequenceCreateAcctInfo

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#115
type: Restriction
cardinality: 1
on property: createAcctSequenceCreateAcctOutput

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#118
type: Restriction
cardinality: 1
on property: bookName

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#119
type: Restriction
min cardinality: 1
on property: nameBookInCatalogue

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#120
type: Restriction
cardinality: 1
on property: condBookInCatalog

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#125
type: Restriction
cardinality: 1
on property: putInCartBookISBN

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#126
type: Restriction
cardinality: 1
on property: signInInfo

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#127
type: Restriction
cardinality: 1
on property: createAcctInfo

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#128
type: Restriction
cardinality: 1
on property: createAcctOutput

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#133
type: Restriction
cardinality: 1
on property: creditCardNumber

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#134
type: Restriction
cardinality: 1
on property: creditCardType

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#135
type: Restriction
cardinality: 1
on property: creditCardExpirationDate

creditCardNumber
type: Property
comment: NOTE: INTEGER IS NOT SUPPORTED YET IN DAML+OIL
sub property of: input
domain: SpecifyPaymentMethod
range: decimal

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#136
type: Restriction
cardinality: 1
on property: deliveryAddress

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#137
type: Restriction
cardinality: 1
on property: packagingSelection

http://lodlaundromat.org/.well-known/genid/16e712b3a95e893ac06b75caea2a8c07#138
type: Restriction
cardinality: 1
on property: deliveryTypeSelection