A Survey of Current, Stand-alone OWL Reasoners
A Description Logics Tableau Reasoner in Prolog