Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

FP5

WONDERWEB Sintesi della relazione

Project ID: IST-2001-33052
Finanziato nell'ambito di: FP5-IST
Paese: 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