consistency checking working again;
improved version: checking consistency of subontologies