title: Using the abstraction network in complement to description logics for quality assurance in biomedical terminologies - a case study in SNOMED CT.
abstract: OBJECTIVE
  To investigate errors identified in SNOMED CT by human reviewers with help from the Abstraction Network methodology and examine why they had escaped detection by the Description Logic (DL) classifier. Case study; Two examples of errors are presented in detail (one missing IS-A relation and one duplicate concept). After correction, SNOMED CT is reclassified to ensure that no new inconsistency was introduced.
  
  
  CONCLUSIONS
  DL-based auditing techniques built in terminology development environments ensure the logical consistency of the terminology. However, complementary approaches are needed for identifying and addressing other types of errors.
authors.affiliation: New Jersey Institute of Technology, Newark, NJ, USA. dw59@njit.edu
authors.forename: Duo
authors.initials: D
authors.lastname: Wei
authors.forename: Olivier
authors.initials: O
authors.lastname: Bodenreider
mesh_terms: D020811:Biomedical Technology; D008128:Logic; D011786:Quality Control; D039061:Systematized Nomenclature of Medicine; D009626:Terminology as Topic; D018875:Vocabulary, Controlled