/Racer

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

Primary LanguageWeb Ontology LanguageOtherNOASSERTION

Stargazers