FaCT++ is a DL reasoner. It supports OWL DL and (partially) OWL 2
The latest available version is 1.4.1, released 7 September 2010.
FaCT++ is implemented in C++ and uses optimised tableaux algorithms.
FaCT++ his partially supporting OWL 2. The missing bits are:
•Top/Bottom Object and Data property semantics: only the names and the hierarchy positions are in place at the moment.
•No support for keys
•Partial datatype support. At the moment, the only supported datatypes are Literal, string, anyURI, boolean, float, double, integer, int, nonNegativeInteger.
The 1.4.0 release is the last one that support DIG interface. The 1.4.0 release is the last one that supports OWL API v2 interface. The 1.4.1 release is the last one that supports OWL API v3.0 interface
Posted by Dejan Petrovic