Copyright © 2005 DERI®, All Rights Reserved. DERI liability, trademark, document use, and software licensing rules apply.
This document is exclusively available in normative PDF
In order to download the PDF version of this deliverable, please click here.
The online reasoners based on Ontoprise OntoBroker and FLORA-2 are available from: http://dev1.deri.at:8080/reasoner/
The online WSML-DL reasoner based on FaCT++ is available from: http://dev1.deri.at:5900/wsml-dl-reasoner-20051003/index.html/
Online javadoc for the Ontobroker reasoner.
Online javadoc for the FLORA-2 reasoner.
Online javadoc for the FaCT++ reasoner.
The work is funded by the European Commission under the projects DIP, Knowledge Web, InfraWebs, SEKT, SWWS, ASG and Esperonto; by Science Foundation Ireland under the DERI-Lion project; by the FIT-IT (Forschung, Innovation, Technologie - Informationstechnologie) under the projects RW2 and TSC.
The editors would like to thank to all the members of the WSML working group for their advice and input into this document.
$Date: 2005/09/02 15:02:03 $