|
Project Information
|
SummaryFaCT++ is a DL reasoner. It supports OWL DL and (partially) OWL 2 The latest available version is 1.5.3, released 7 December 2011. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. Detailed description and future plansFaCT++ his partially supporting OWL 2. The missing bits are: - No support for keys
- Partial datatype support. At the moment, the only supported datatypes are Literal, string, anyURI, boolean, float, double, integer, int, nonNegativeInteger, dateTime.
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 If you are lost in all the FaCT++ and/or APIs versions supported please check the WhichVersionDoINeed page. Related ProjectsRelease History| Version | Date | Comment | | 1.5.3 | 7 December 2011 | Bug fixes, Top/Bottom properties implementation, improved fresh entities support | | 1.5.2 | 12 April 2011 | Some speedup, implement dateTime datatype support | | 1.5.1 | 18 January 2011 | Bug and stability fixes | | 1.5.0 | 5 October 2010 | OWL API 3.1 support | | 1.4.1 | 7 September 2010 | Bug and stability fixes | | 1.4.0 | 29 April 2010 | Initial support of OWL 2 using OWL API 3; stability fixes | | 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. |
|
