It may be interesting to look at the list of OWL reasoners along with the test scores against official test suits: http://www.w3.org/2003/08/owl-systems/test-results-out Serguei --