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


WONDERWEB Sintesi della relazione

Project ID: IST-2001-33052
Finanziato nell'ambito di: FP5-IST
Paese: United Kingdom


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


Dimitry TSARKOV, (Research Fellow)