Summary
FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 2
The latest available version is 1.3.0, released 29 May 2009.
FaCT++ is implemented in C++ and uses optimised tableaux algorithms.
Release History
| Version | Date | Comment |
| 1.3.0 | 29 May 2009 | Incremental reasoning implementation |
| 1.2.3 | 05 March 2009 | Bug-fix release |
| 1.2.2 | 14 January 2009 | Bug-fix release, some speedup |
| 1.2.1 | 20 November 2008 | Bug-fix release, some speedup |
| 1.2.0 | 25 September 2008 | Bug-fix release, some speedup |
| 1.1.11 | 28 March 2008 | Bug-fix release, some speedups in ABox reasoning |
| 1.1.10 | 30 November 2007 | Bug-fix release |
| 1.1.9 | 04 October 2007 | Bug-fix release; floating point datatypes now supported |
| 1.1.8 | 12 July 2007 | Bug-fix release, improve performance |
| 1.1.7 | 11 May 2007 | Bug-fix release |
| 1.1.6 | 30 April 2007 | Bug-fixes, prepare the movement to Google Code. |
| 1.1.5 | 12 March 2007 | Bug-fix release. |
| 1.1.4 | 07 December 2006 | SROIQ logic (OWL 1.1) is supported now. |
| 1.1.3 | 05 April 2006 | Bug-fixes, stability improvements. |
| 1.1.2 | 08 March 2006 | Bug-fix release. |
| 1.1.1 | 20 February 2006 | Improve performance. |
| 1.1.0 | 16 January 2006 | DataTypes (like String and Integer) support added. |
| 1.0.0 | 17 November 2005 | Reasoning in SHOIQ (a.k.a. OWL DL) is supported. |
