|Last release:||1.5.3 (2011/12/07)|
|Author(s):||Dmitry Tsarkov, Ian Horrocks.|
|Affiliation:||University of Manchester|
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.