Dear Protégé user:

Thanks for visiting the home of RacerPro, a product of Racer Systems!
We greatly appreciate the recommendation of RacerPro as the back-end inference system (reasoner) for use with Protégé. Likewise do we suggest to use Protégé as a graphical user interface while designing ontologies.
Trial version of RacerPro
RacerPro is a commercial product which can be evaluated before purchase.
Click here to obtain an evaluation copy!
The trial version runs for approx. 30 days. After that period you should order a license of your choice if you want to continue using RacerPro.
Free time-limited educational license of RacerPro
If you intend to use RacerPro for fundamental research or higher education at a university or another degree-granting, non-profit institution, you may download and use a fully functional but timelimited version of RacerPro Desktop for this purpose provided we can verify the non-commercial use. This license is currently granted free of charge and will run for a 180-day period. After that period you will have to purchase a license of your choice.
The "free license" is intended to help to investigate the product and to bridge the time the budgeting process takes. For students we may renew the license grant for an additional period if RacerPro is used for their thesis; if this applies to you please negotiate with us in advance and provide proof by your tutor.
Click here for more information and to apply for a free educational license!
