RacerPro

RacerPro is a closed-source OWL reasoner and inference server for the Semantic Web. RacerPro can process both OWL Lite and DL documents, however, some restrictions apply. OWL DL documents are processed with approximations for nominals in class expressions and user-defined XML datatypes are not yet supported. RacerPro also implements the DIG interface.

See Also

• RacerPro Official Site