FaCT++

FaCT++ http://owl.man.ac.uk/factplusplus/ is an OWL-DL reasoner implemented in C++.