|
Project Information
Members
Featured
Downloads
|
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. |