Description
CB (Consequence-Based) is a free and open-source ontology reasoner that is based on a new kind of "consequence-based" reasoning procedure.
At the moment, CB supports a fragment of OWL 2 which corresponds to the DL Horn-SHIF.
CB is a cross-platform utility capable of running on any operating system that comes with Java support (e.g. Mac OS X, Windows, Linux).
User Reviews for CB FOR MAC 1
-
for CB FOR MAC
CB FOR MAC provides advanced ontology reasoning with a unique 'consequence-based' approach. A must-have for users of OWL 2.