Downloading RacerPro 2.0 from our website was free. The software lies within Education Tools, more precisely Science Tools. The most popular versions among RacerPro users are 2.0 and 1.9. This program is an intellectual property of Racer Systems GmbH & Co. KG. RacerPro.exe is the most common filename for this program's installer.
From the developer:
RacerPro is a knowledge representation system that implements a highly optimized tableau calculus for a very expressive description logic.
It offers reasoning services for multiple T-boxes and for multiple A-boxes as well. The system implements the description logic ALCQHIR also known as SHIQ. This is the basic logic ALC augmented with qualifying number restrictions, role hierarchies, inverse roles, and transitive roles.
You may want to check out more software, such as Maxima and Minima, DAC Express or IUCLID5, which might be similar to RacerPro.