Decidable Reasoning in Terminological Knowledge Representation Systems