name=FaCT++ reasoner id=uk.ac.manchester.cs.owl.factplusplus version=1.4.0.2 download=https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P4.0-v1.4.0.2.jar readme=http://factplusplus.googlecode.com/svn/trunk/version-info.html license=http://www.gnu.org/licenses/lgpl.html author=Dmitry Tsarkov, The University of Manchester