CB is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure.

Currently CB supports a fragment of OWL 2 which corresponds to the DL Horn-SHIF.

The theory behind the reasoner and some encouraging experiment results are described in this paper.