RACER
RACER (Renamed Abox and Concept Expression Reasoner) implements a highly optimized tableau calculus for the description logic SRIQ(D).

Depends on: aserve, flexi-streams, deflate

Repository: https://github.com/ha-mo-we/Racer

License: BSD 3-Clause

Knowledge Representation Systems