FRDCSA
Minor
Internal
External
Git
Packages
Racer
Jump To:
Parent Description
Racer is a knowledge representation
system
that implements a highly optimized tableau calculus for the description logic SRIQ(D).
Racer is provided with a BSD-3 license (see the file LICENSE.txt).