wsml logo

D16.2v0.2 WSML Reasoner Survey

WSML Working Draft 2005-10-14

This version:
http://www.wsmo.org/TR/d16/d16.2/v0.2/20051014/
Latest version:
http://www.wsmo.org/TR/d16/d16.2/v0.2/
Previous version:
http://www.wsmo.org/TR/d16/d16.2/v0.2/20051003/
Editors:
Livia Predoiu
Axel Polleres
Authors:
Jos de Bruijn
Christina Feier
Uwe Keller
Rubén Lara
Axel Polleres
Livia Predoiu
Reviewer:
Holger Lausen

Copyright © 2005 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.

Online Reasoner

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.


Acknowledgement

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.


webmaster

$Date: 2005/09/02 15:02:03 $

Valid XHTML 1.1!