Difference between revisions of "Pr4 UG rp Reas FaCT++"

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.

-- http://owl.man.ac.uk/factplusplus

For more information, see:

• http://owl.man.ac.uk/factplusplus
• http://code.google.com/p/factplusplus/
• http://semanticweb.org/wiki/FaCT++