Pellet is an open source reasoner for OWL 2 DL in Java.
It provides standard and cutting-edge reasoning services for OWL ontologies.

Homepage:
http://clarkparsia.com/pellet
