Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D). Racer is the successor of the previous RacerPro system. For those of you who used the previous web site it is important to note that Racer is now freely available, there are no network or runtime limitations. An open source version of Racer is available at Github.com. R