FaCT++

Reasoner plugin More information here

26 October 2012: Bugfix release