Servicio de Información Comunitario sobre Investigación y Desarrollo - CORDIS

FP5

WONDERWEB Informe resumido

Project ID: IST-2001-33052
Financiado con arreglo a: FP5-IST
País: United Kingdom

FaCT++

FaCT++ is an implementation of an OWL-Lite reasoner. It is a new generation of the well-known FaCT reasoner. It uses the established FaCT algorithms, but with a different internal architecture. Additionally, the implementation language C++ was chosen in order to create a more efficient software tool, and to maximise portability. During the implementation process, new optimisations were also introduced, and some new features were added. FaCT++ is released under GNU public license so it is available for download both as a binary file and as a source code (see http://owl.man.ac.uk/factplusplus/).

Reported by

THE VICTORIA UNIVERSITY OF MANCHESTER
OXFORD ROAD
M13 9PL MANCHESTER
United Kingdom
See on map
Síganos en: RSS Facebook Twitter YouTube Gestionado por la Oficina de Publicaciones de la UE Arriba