FaCT++ is the new generation of the well-known FaCT OWL-DL reasoner. FaCT++ uses the established FaCT algorithms, but with a different internal architecture. Additionally, FaCT++ is implementated using C++ in order to create a more efficient software tool, and to maximise portability. New optimisations have also been introduced, and some new features added.


FaCT++ is released under a GNU public license and is available for download both as a binary file and as source code. To build FaCT++ you will need a C++ compiler (GNU gcc v3.3 and higher have been used successfully) and GNU make. In order to build a DIG version of a reasoner, the XML parsing library Xerces-C++ is also required. This is freely available at http://xml.apache.org/xerces-c.

The FaCT++ source code and precompiled binaries can now be found at a Google Code: http://code.google.com/p/factplusplus/


For any information please contact Dmitry Tsarkov or Ian Horrocks.

Dmitry Tsarkov
School of Computer Science
University of Manchester
Kilburn Building
Oxford Road
M13 9PL
email: tsarkov@cs.man.ac.uk