Wedescribe a knowledgeengineeringapproachby which conceptualknowledgeis extractedfroman informal,semanticallyweakmedicalthesaurus(UMLS)and automatically convertedinto a formallysounddescriptionlogics system. Ourapproachconsists of four steps: concept definitions are automaticallygeneratedfromthe UMLS source,integrity checkingof taxonomicandpartonomic hierarchiesis performedbythe terminologicalclassifier, cyclesandinconsistenciesare eliminated,andincremental refinementof the evolvingknowledgebase is performed bya domainexpert. Wereport onexperimentswitha terminologicalknowledgebase composedof 164,000conceptsand76,000relations.