Reasoner plugin More information here
9 July 2012: Bugfix release, implementation of module extraction facilities