FaCT++
From semanticweb.org
| FaCT++ | |
|---|---|
| owl.man.ac.uk/factplusplus/ | |
| Status: | stable |
| Last release: | 1.5.3 (2011/12/07) |
| License: | LGPL |
| Author(s): | Dmitry Tsarkov, Ian Horrocks. |
| Affiliation: | University of Manchester |
| Web resources | |
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.
