ConDOR is an experimental reasoner for ontologies based on a new kind of "consequence-based" reasoning procedure based on a variant of procedure described in this paper.

Currently ConDOR supports a fragment of OWL 2 which corresponds to the description logic SH.