Racer是一个实现高度优化的tableau演算描述逻辑SRIQ（D）。

Racer是前一款RacerPro系统的继承者。对于使用前一个网站的用户来说，重要的是要注意Racer现在免费提供，没有网络或运行时限制。安开源版本Racer的Github.com网站。可以通过Quicklisp轻松安装Racer(http://quicklisp.org)使用（ql:quickload“racer”）。请注意，Racer需要ASDF 2.32。这与Lispworks相关，也应该对其进行评估（setf-asdf:：*default-encoding*：default）。

Racer的分布如下BSD三条款许可.

Racer提供标准推理的实现T型箱和A型箱的问题。此外，一些提供了非标准推理服务，例如。，逻辑推理。Racer还提供强大的语义定义良好的连接查询语言nRQL（新的Racer查询语言，to被宣布为niracle，被视为奇迹），它还支持否定为失败，数字约束不同个体的w.r.t属性值，子串字符串属性之间的属性等。它具有从内部访问推理服务的便捷API通用Lisp和Java。