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
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