FaCT++

Reasoner plugin More information here

9 July 2012: Bugfix release, implementation of module extraction facilities