CB

CB (https://code.google.com/p/cb-reasoner/) reasoner is implemented in OCaml and supports a fragment of OWL 2 (Horn-SHIF). Reasoning is based on a consequence-based procedure..