Fact++ is an OWL DL reasoner.
Hosted at the School of Computer Science, University of Manchester, UK. Copyright 2008 - All Rights Reserved Sponsored by Microsoft, EPSRC, BBSRC, ESRC and JISC