Bugfix release for ontology consistency

With this release we deploy several bugfixes for issues that made the ontology inconsistent. In particular, class disjointnesses are treated correctly again.