Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS


WONDERWEB Streszczenie raportu

Project ID: IST-2001-33052
Źródło dofinansowania: FP5-IST
Kraj: 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)
Adres e-mail
Śledź nas na: RSS Facebook Twitter YouTube Zarządzany przez Urząd Publikacji UE W górę