Pellet
The Pellet Reasoner is one of the worlds leading semantic reasoners for OWL and has been used to support checking of life science ontologies.
Pellet is open source. It supports OWL DL and much of OWL 1.1
myGrid is now called the eScience Lab.
These pages are provided for archival purposes.
For updated content, see
http://www.esciencelab.org.uk/
The Pellet Reasoner is one of the worlds leading semantic reasoners for OWL and has been used to support checking of life science ontologies.
Pellet is open source. It supports OWL DL and much of OWL 1.1