RacerPro

From GICL Wiki
Revision as of 13:47, 14 September 2006 by I Howley (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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