FaCT++
From semanticweb.org
(Redirected from FaCT plus plus)
| FaCT++ | |
|---|---|
| owl.man.ac.uk/factplusplus/ | |
| Status: | stable |
| Last release: | 1.1.11 (28 March 2008) |
| License: | GPL |
| 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.
