资 源 简 介
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.
