wsml logo

D5.1v0.1 Inferencing Support for Semantic Web Services:

Proof Obligations

WSML Working Draft 02 08 2004

This version:
Latest version:
Previous version:
Uwe Keller
Rubén Lara
Uwe Keller
Rubén Lara
Axel Polleres
Holger Lausen
Michael Stollberg
Michael Kifer

Copyright 2004 DERI, All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply.

Deliverable document

This document is exclusively available in normative PDF version.
In order to download the PDF version of this deliverable, please click here.


The work is funded by the European Commission under the projects DIP, Knowledge Web, SEKT, SWWS, and Esperonto; by Science Foundation Ireland under the DERI-Lion project; and by the Vienna city government under the CoOperate program.

The editors would like to thank to all the members of the WSML working group for their advice and input into this document.