myGrid is now called the eScience Lab. These pages are provided for archival purposes. For updated content, see http://www.esciencelab.org.uk/
Fact++ is an OWL DL reasoner.