www-ws@w3.org from September 2003 by author

Anders W. Tell

• Legally relevant events (Saturday, 27 September)

Battle, Steve

• RE: FW: Semantics of Preconditions and Effects (Wednesday, 3 September)
• FW: Semantics of Preconditions and Effects (Wednesday, 3 September)

Bijan Parsia

• Re: DAML-S ws composition: Is the cycle complete? (Tuesday, 30 September)
• Incomplete descriptions (was Re: Multiple inputs and multiple outputs) (Monday, 29 September)
• Re: what is the "semantic core" of DAML-S? (Saturday, 20 September)
• Re: what is the "semantic core" of DAML-S? (Saturday, 20 September)
• Re: Process instantiation puzzle (Saturday, 20 September)
• Re: Process instantiation puzzle (Saturday, 20 September)
• Re: Process instantiation puzzle (Saturday, 20 September)
• Re: Process instantiation puzzle (Friday, 19 September)
• [SWSL] Richard Hull talk (Wednesday, 17 September)
• Re: Bottom up approach to web services (Tuesday, 9 September)
• Re: why can't describe the semantic of DAML-S by Description Logic (Monday, 8 September)
• Re: 答复: why can't describe the semantic of DAML-S by Description Logic (Tuesday, 2 September)
• Re: why can't describe the semantic of DAML-S by Description Logic (Tuesday, 2 September)

Charlie Abela

• Fwd: Re: DAML-S ws composition: Is the cycle complete? (Tuesday, 30 September)
• DAML-S ws composition: Is the cycle complete? (Monday, 29 September)
• Re: Model of Concurrency in DAML-S (Monday, 22 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• RE: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

charlie@semantech.org

• Conditional in DAML-S (Wednesday, 10 September)
• Re: Bottom up approach to web services (Tuesday, 9 September)
• Bottom up approach to web services (Monday, 8 September)

Chiusano Joseph

• Re: A question of Composite Web Service Verification (Thursday, 25 September)

David Martin

• Re: Multiple inputs and multiple outputs (Monday, 29 September)
• Re: Multiple inputs and multiple outputs (Monday, 29 September)
• [OWL-S]: simple process coordination (Wednesday, 24 September)
• Re: PowerSet in DAML-S 0.9 (Monday, 22 September)
• Re: Grounding puzzle (Saturday, 20 September)
• Re: Grounding puzzle (Friday, 19 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

dcarlson@ontogenics.com

• Your details (Tuesday, 2 September)

Drew McDermott

• Re: Multiple inputs and multiple outputs (Sunday, 28 September)
• Re: Multiple inputs and multiple outputs (Sunday, 28 September)
• Re: what is the "semantic core" of DAML-S? (Saturday, 20 September)
• Re: Grounding puzzle (Saturday, 20 September)
• Re: Grounding puzzle (Saturday, 20 September)
• Re: Process instantiation puzzle (Saturday, 20 September)
• Re: Grounding puzzle (Friday, 19 September)
• Re: Process instantiation puzzle (Friday, 19 September)
• Re: Process instantiation puzzle (Friday, 19 September)
• Re: Process instantiation puzzle (Friday, 19 September)
• Grounding puzzle (Friday, 19 September)
• [bparsia@isr.umd.edu: Re: Process instantiation puzzle] (Thursday, 18 September)
• Process instantiation puzzle (Thursday, 18 September)
• Re: DAML-S formal semantics (Wednesday, 17 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: [OWL-S] arguments for PAI and PAC (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: [OWL-S] arguments for PAI and PAC (Monday, 15 September)
• Re: Conditional in DAML-S (Thursday, 11 September)
• pdf version of DAML-S surface syntax/formal semantics (Wednesday, 10 September)
• Revised DAML-S-PAI syntax & semantics (Tuesday, 9 September)
• DAML-S formal semantics (Sunday, 7 September)

Evren Sirin

• Re: Bottom up approach to web services (Monday, 8 September)

Famous Trials Theater

• Guilty? You Decide! (Tuesday, 2 September)

Ian Davis

• [ANN] sw-announce mailing list (Wednesday, 24 September)

Ian Horrocks

• RE: FW: Semantics of Preconditions and Effects (Wednesday, 10 September)
• Re: why can't describe the semantic of DAML-S by Description Logic (Saturday, 6 September)

Jeff Lansing

• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: FW: Semantics of Preconditions and Effects (Friday, 12 September)

Jianchao Wang

• Re: A question of Composite Web Service Verification (Sunday, 12 October)

Joachim.Peer@unisg.ch

• Re: A question of Composite Web Service Verification (Thursday, 25 September)
• Re: what is the "semantic core" of DAML-S? (Sunday, 21 September)
• what is the "semantic core" of DAML-S? (Saturday, 20 September)

John Langley

• RE: FW: Semantics of Preconditions and Effects (Thursday, 4 September)

Jos de Bruijn

• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

Katia Sycara

• RE: A question of Composite Web Service Verification (Thursday, 25 September)

Li, Yinsheng

• RE: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• RE: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• RE: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

lsp

• 答复: why can't describe the semantic of DAML-S by Description Logic (Tuesday, 2 September)
• why can't describe the semantic of DAML-S by Description Logic (Tuesday, 2 September)

Mark Baker

• RDF Forms (Sunday, 21 September)

Marta Sabou

• Re: Congo Example, Preconditions and refersTo (Tuesday, 2 September)

Massimo Paolucci

• Re: Process instantiation puzzle (Wednesday, 24 September)
• Re: DAML-S formal semantics (Tuesday, 16 September)

Matthew Fuchs

• RE: Process instantiation puzzle (Friday, 19 September)

Michael Kifer

• Re: Grounding puzzle (Saturday, 20 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Wednesday, 17 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Wednesday, 17 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

Mike Pool

• Re: [OWL-S] arguments for PAI and PAC (Monday, 15 September)

Mithun Sheshagiri

• Re: Grounding puzzle (Friday, 19 September)
• Re: Grounding puzzle (Friday, 19 September)

Monika Solanki

• Re: Multiple inputs and multiple outputs (Monday, 29 September)
• Re: A question of Composite Web Service Verification (Friday, 26 September)
• Re: Model of Concurrency in DAML-S -Reposted (Monday, 22 September)
• [Fwd: Re: Model of Concurrency in DAML-S -Reposted] (Monday, 22 September)
• Model of Concurrency in DAML-S (Monday, 22 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Tuesday, 16 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Friday, 12 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Friday, 12 September)
• {SPAM ?} Re: FW: Semantics of Preconditions and Effects (Friday, 12 September)
• Re: Conditional in DAML-S (Thursday, 11 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Thursday, 11 September)
• Preconditions /effects vs Preconditions/Postconditions (Thursday, 11 September)
• Re: FW: Semantics of Preconditions and Effects (Wednesday, 3 September)

Prakash Kadamba

• Binding to use for an activity (Wednesday, 17 September)

Sheila McIlraith

• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)
• Re: Preconditions /effects vs Preconditions/Postconditions (Thursday, 11 September)
• Re: Bottom up approach to web services (Tuesday, 9 September)
• Re: why can't describe the semantic of DAML-S by Description Logic (Tuesday, 2 September)

Sheshagiri, Mithun

• RE: Preconditions /effects vs Preconditions/Postconditions (Friday, 12 September)
• RE: Preconditions /effects vs Preconditions/Postconditions (Friday, 12 September)
• RE: FW: Semantics of Preconditions and Effects (Thursday, 4 September)

Steve Ross-Talbot

• Re: A question of Composite Web Service Verification (Friday, 26 September)

Sudhir Agarwal

• Re: Process instantiation puzzle (Friday, 19 September)
• Fwd: Re: Process instantiation puzzle (Friday, 19 September)
• ProcesModel hasProcess ProcessPowerSet (Wednesday, 10 September)
• Congo Example, Preconditions and refersTo (Monday, 1 September)

Terry R. Payne

• CALL FOR PAPERS: Semantic Web Services - 2004 AAAI Spring Symposium Series (Monday, 15 September)

Walden Mathews

• Re: Preconditions /effects vs Preconditions/Postconditions (Monday, 15 September)

Wang Jianchao

• Re: A question of Composite Web Service Verification (Sunday, 12 October)
• A question of Composite Web Service Verification (Thursday, 25 September)

Williams, Stuart

• RE: FW: Semantics of Preconditions and Effects (Wednesday, 3 September)

Yuzhong Qu

• Re: Incomplete descriptions (was Re: Multiple inputs and multiple outputs) (Tuesday, 30 September)
• Re: Multiple inputs and multiple outputs (Monday, 29 September)
• Re: Multiple inputs and multiple outputs (Monday, 29 September)
• Multiple inputs and multiple outputs (Saturday, 27 September)
• Re: PowerSet in DAML-S 0.9 (Monday, 22 September)
• PowerSet in DAML-S 0.9 (Sunday, 21 September)
• Some comments on DAML-S 0.9 (Saturday, 13 September)

김학래

• Process control Ontology (Wednesday, 1 October)

Last message date: Tuesday, 30 September 2003 23:05:43 UTC