Pr4 UG rp Reas FaCT++
From Protege Wiki
Reasoner - FaCT++
comment Editing Glossary Outline
This plugin provides access to the FaCT++ reasoner.
-
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 implemented using C++
in order to create a more efficient software tool,
and to maximise portability.
New optimisations have also been introduced
and some new features added.
For more information, see:
