title: Ontological analysis of SNOMED CT.
abstract: BACKGROUND
  SNOMED CT is the most comprehensive medical terminology. However, its use for intelligent services based on formal reasoning is questionable.
  
  
  METHODS
  The analysis of the structure of SNOMED CT is based on the formal top-level ontology DOLCE.
  
  
  RESULTS
  The analysis revealed several ontological and knowledge-engineering errors, the most important are errors in the hierarchy (mostly from an ontological point of view, but also regarding medical aspects) and the mixing of subsumption relations with other types (mostly 'part of').
  
  
  CONCLUSIONS
  The found errors impede formal reasoning. The paper presents a possible way to correct these problems.
authors.affiliation: National Institute for Strategic Health Research, Arany János utca 6-8, 1051 Budapest, Hungary. heja@eski.hu
authors.forename: Gergely
authors.initials: G
authors.lastname: Héja
authors.forename: György
authors.initials: G
authors.lastname: Surján
authors.forename: Péter
authors.initials: P
authors.lastname: Varga
mesh_terms: D004194:Disease / Q000145:classification; D005069:Evaluation Studies as Topic; D006814:Hungary; D039061:Systematized Nomenclature of Medicine; D018511:Systems Integration; D009626:Terminology as Topic