Removed: Functions to compute classifications

The functions that computed individual classifications, and class
hierarchies, that re-used the already computed models from previous
consistency check. They were really slow or even non-terminating
WIP: Testing why algorithm does not perform well
Defined the main functions of the reasoner API
Some refactoring to Tableaux algorithm