name=FaCT++ reasoner id=uk.ac.manchester.cs.owl.factplusplus version=1.6.5 download=https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar readme=http://factplusplus.googlecode.com/svn/trunk/version-info-p4.1.html license=http://www.gnu.org/licenses/lgpl.html author=Dmitry Tsarkov