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

Proof Obligations

WSML Working Draft 05 04 2004

This version:

http://www.wsmo.org/2004/d5/d5.1/v0.1/20040405/

Latest version:

http://www.wsmo.org/2004/d5/d5.1/v0.1/

Previous version:

http://www.wsmo.org/2004/d5/d5.1/v0.1/20040301/

Editors:

Uwe Keller

Authors:

Uwe Keller
Ruben Lara
Axel Polleres
Holger Lausen

This document is exclusively available in normative PDF version.
Copyright © 2004 DERI®, All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply.

Acknowledgement

The work is funded by the European Commission under the projects DIP, Knowledge Web, Ontoweb, SEKT, SWWS, Esperonto, and h-TechSight; 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.

webmaster