DB is an experimental reasoner for ontologies implementing a consequence-based reasoning procedure for a fragment of OWL2-EL. The procedure is implemented in ocaml; it uses a mysql database for performing inferences.

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