Reasoner plugin More information here
30 May 2014: Bugfix release, persistent and incremental reasoning