From semanticweb.org.edu
Jump to: navigation, search
Status: inactive
Last release: 1.9.0 (2005/12/05)
License: Pay Licensed Closed Source
Affiliation: Racer Systems

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.