FaCT++

FaCT++ is an implementation of an OWL-Lite reasoner. It is new generation of well-known FaCT reasoner. It used 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.

Download

FaCT++ is released under GNU public license so it is available for download both as a binary file and as a source code. For building FaCT++ one will need a c++ compiler (GNU gcc v3.3 and higher was tested) and GNU make. In order to build a DIG version of a compiler, XML parsing library Xerces-c is also required. It is freely avaliable at http://xml.apache.org/xerces-c.

  • Download the source code. The latest version is 0.99.
  • Download the precompiled binaries for ix86-linux. The latest version is 0.99.
  • Download the precompiled binaries for MaxOS X. This option is unavaliable now.
  • Download the precompiled binaries for Windows. This option is unavaliable now.

Contacts

For any information please contact Dmitry Tsarkov or Ian Horrocks:

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