Work on reasoner completed

- classification takes care of superclass
- some tests
- little bug fix (table always updated