Using the abstraction network in complement to description logics for quality assurance in biomedical terminologies - a case study in SNOMED CT

Using the abstraction network in complement to description logics for quality assurance in biomedical terminologies - a case study in SNOMED CT