name=Protege DL-Learner plugin
id=org.dllearner.tools.protege
version=0.5.2
download=http://downloads.sourceforge.net/project/dl-learner/Protege%20DL-Learner%20Plugin/0.5.2/Protege-DL-Learner-plugin-0.5.2.zip
readme=http://dl-learner.svn.sourceforge.net/viewvc/dl-learner/trunk/src/dl-learner/org/dllearner/tools/protege/README
license=http://dl-learner.svn.sourceforge.net/viewvc/dl-learner/trunk/LICENSE
homepage=http://dl-learner.org/wiki/ProtegePlugin
author=Christian Kötteritzsch and Jens Lehmann, University of Leipzig