|Last release:||1.9.0 (2005/12/05)|
|License:||Pay Licensed Closed Source|
RacerPro (formerly known as RACER) is a reasoner for OWL DL. It was among the first OWL reasoners on the market, which appeared in 2002 and have been continuously improved. While RacerPro is commercial software, discounted licenses for educational purposes are available.