Return to Article Details Decidable Reasoning in Terminological Knowledge Representation Systems Download Download PDF