name=FaCT++ reasoner id=uk.ac.manchester.cs.owl.factplusplus version=1.3.0.1 download=http://factplusplus.googlecode.com/files/uk.ac.manchester.cs.owl.factplusplus-v1.3.0.1.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