SWSL Straw Proposals

Use Cases

• Money Transfer
• Amazon
• e-Service Composition in a Behavior based Framework
  Note: the initial version of this use case (posted April 28, 2004), can be found here.

Straw Proposal Presentations

Benjamin Grosof: SCLP Rules + Ontologies to Describe E-Services

• Background notes, from October 2003 F2F (txt)
• Slides presented May 6, 2004 (PDF)

Daniela Berardi, Michael Gruninger, Rick Hull, Sheila McIlraith:
FLOWS (First-order Logic Ontology for Web Services)

• (Powerpoint)
• (PDF)

David Martin, Mark Burstein, Drew McDermott, Deb McGuinness, Sheila McIlraith, Massimo Paolucci, Bijan Parsia:
OWL-S Straw Proposal

• OWL-S-Straw.ppt (Powerpoint)
• OWL-S-Straw-Composition.ppt (Powerpoint)
• OWL-S-Straw-Amazon.ppt (Powerpoint)
• OWL-S-Straw-Tools.ppt (Powerpoint) - auxiliary material

Michael Kifer:
The Enchilada Proposal: F-logic, HiLog & Concurrent Transaction Logic

• Overview (Powerpoint)
• Money transfer via broker use case (text)
• Travel use case (text)
• Simple service discovery example (text)
• More involved service discovery example (text)

SWSL Committee Home Page