SWSL Straw Proposals

This page under construction...

Use Cases

Straw Proposal Presentations

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

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

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

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

Back to SWSL Committee Home Page