ha-mo-we / Racer

Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
106Updated 5 years ago

Related projects

Alternatives and complementary repositories for Racer